-
Universal enveloping algebras of weighted differential Poisson algebras
Authors:
Ying Chen,
Chuangchuang Kang,
Jiafeng Lü
Abstract:
The $λ$-differential operators and modified $λ$-differential operators are generalizations of classical differential operators. This paper introduces the notions of $λ$-differential Poisson ($λ$-DP for short) algebras and modified $λ$-differential Poisson ($λ$-mDP for short) algebras as generalizations of differential Poisson algebras. The $λ$-DP algebra is proved to be closed under tensor product…
▽ More
The $λ$-differential operators and modified $λ$-differential operators are generalizations of classical differential operators. This paper introduces the notions of $λ$-differential Poisson ($λ$-DP for short) algebras and modified $λ$-differential Poisson ($λ$-mDP for short) algebras as generalizations of differential Poisson algebras. The $λ$-DP algebra is proved to be closed under tensor product, and a $λ$-DP algebra structure is provided on the cohomology algebra of the $λ$-DP algebra. These conclusions are also applied to $λ$-mDP algebras and their modules. Finally, the universal enveloping algebras of $λ$-DP algebras are generalized by constructing a $\mathcal{P}$-triple. Three isomorphisms among opposite algebras, tensor algebras and the universal enveloping algebras of $λ$-DP algebras are obtained.
△ Less
Submitted 5 November, 2024;
originally announced November 2024.
-
Inverse problems for quantum graph associated with square and hexagonal lattices
Authors:
K. Ando,
E. Blåsten,
P. Exner,
H. Isozaki,
E. Korotyaev,
M. Lassas,
J. Lu,
H. Morioka
Abstract:
We solve inverse problems from the D-N map for the quantum graph on a finite domain in a square lattice and that on a hexagonal lattice, as well as inverse scattering problems from the S-matrix for a locally perturbed square lattice and a hexagonal lattice.
We solve inverse problems from the D-N map for the quantum graph on a finite domain in a square lattice and that on a hexagonal lattice, as well as inverse scattering problems from the S-matrix for a locally perturbed square lattice and a hexagonal lattice.
△ Less
Submitted 4 September, 2024;
originally announced September 2024.
-
Quantum space-time Poincaré inequality for Lindblad dynamics
Authors:
Bowen Li,
Jianfeng Lu
Abstract:
We investigate the mixing properties of primitive Markovian Lindblad dynamics (i.e., quantum Markov semigroups), where the detailed balance is disrupted by a coherent drift term. It is known that the sharp $L^2$-exponential convergence rate of Lindblad dynamics is determined by the spectral gap of the generator. We show that incorporating a Hamiltonian component into a detailed balanced Lindbladia…
▽ More
We investigate the mixing properties of primitive Markovian Lindblad dynamics (i.e., quantum Markov semigroups), where the detailed balance is disrupted by a coherent drift term. It is known that the sharp $L^2$-exponential convergence rate of Lindblad dynamics is determined by the spectral gap of the generator. We show that incorporating a Hamiltonian component into a detailed balanced Lindbladian can generically enhance its spectral gap, thereby accelerating the mixing. In addition, we analyze the asymptotic behavior of the spectral gap for Lindblad dynamics with a large coherent contribution. However, estimating the spectral gap, particularly for a non-detailed balanced Lindbladian, presents a significant challenge. In the case of hypocoercive Lindblad dynamics, we extend the variational framework originally developed for underdamped Langevin dynamics to derive fully explicit and constructive exponential decay estimates for convergence in the noncommutative $L^2$-norm. This analysis relies on establishing a quantum analog of space-time Poincaré inequality. Furthermore, we provide several examples with connections to quantum noise and quantum Gibbs samplers as applications of our theoretical results.
△ Less
Submitted 13 January, 2025; v1 submitted 13 June, 2024;
originally announced June 2024.
-
Mixing Time of Open Quantum Systems via Hypocoercivity
Authors:
Di Fang,
Jianfeng Lu,
Yu Tong
Abstract:
Understanding the mixing of open quantum systems is a fundamental problem in physics and quantum information science. Existing approaches for estimating the mixing time often rely on the spectral gap estimation of the Lindbladian generator, which can be challenging to obtain in practice. We propose a novel theoretical framework to estimate the mixing time of open quantum systems that treats the Ha…
▽ More
Understanding the mixing of open quantum systems is a fundamental problem in physics and quantum information science. Existing approaches for estimating the mixing time often rely on the spectral gap estimation of the Lindbladian generator, which can be challenging to obtain in practice. We propose a novel theoretical framework to estimate the mixing time of open quantum systems that treats the Hamiltonian and dissipative part separately, thus circumventing the need for a priori estimation of the spectral gap of the full Lindbladian generator. This framework yields mixing time estimates for a class of quantum systems that are otherwise hard to analyze, even though it does not apply to arbitrary Lindbladians. The technique is based on the construction of an energy functional inspired by the hypocoercivity of (classical) kinetic theory.
△ Less
Submitted 1 April, 2025; v1 submitted 17 April, 2024;
originally announced April 2024.
-
Numerical methods and improvements for simulating quasi-static elastoplastic materials
Authors:
Jiayin Lu,
Chris H. Rycroft
Abstract:
Hypo-elastoplasticity is a framework suitable for modeling the mechanics of many hard materials that have small elastic deformation and large plastic deformation. In most laboratory tests for these materials the Cauchy stress is in quasi-static equilibrium. Rycroft et al. discovered a mathematical correspondence between this physical system and the incompressible Navier-Stokes equations, and devel…
▽ More
Hypo-elastoplasticity is a framework suitable for modeling the mechanics of many hard materials that have small elastic deformation and large plastic deformation. In most laboratory tests for these materials the Cauchy stress is in quasi-static equilibrium. Rycroft et al. discovered a mathematical correspondence between this physical system and the incompressible Navier-Stokes equations, and developed a projection method similar to Chorin's projection method (1968) for incompressible Newtonian fluids. Here, we improve the original projection method to simulate quasi-static hypo-elastoplasticity, by making three improvements. First, drawing inspiration from the second-order projection method for incompressible Newtonian fluids, we formulate a second-order in time numerical scheme for quasi-static hypo-elastoplasticity. Second, we implement a finite element method for solving the elliptic equations in the projection step, which provides both numerical benefits and flexibility. Third, we develop an adaptive global time-stepping scheme, which can compute accurate solutions in fewer timesteps. Our numerical tests use an example physical model of a bulk metallic glass based on the shear transformation zone theory, but the numerical methods can be applied to any elastoplastic material.
△ Less
Submitted 21 January, 2025; v1 submitted 16 April, 2024;
originally announced April 2024.
-
Thermodynamic Limits of Electronic Systems
Authors:
David Gontier,
Jianfeng Lu,
Christoph Ortner
Abstract:
We review thermodynamic limits and scaling limits of electronic structure models for condensed matter. We discuss several mathematical ways to implement these limits in three models of increasing chemical complexity and mathematical difficulty: (1) Thomas-Fermi like models; (2) Hartree-Fock like models; and (3) Kohn-Sham density functional theory models.
We review thermodynamic limits and scaling limits of electronic structure models for condensed matter. We discuss several mathematical ways to implement these limits in three models of increasing chemical complexity and mathematical difficulty: (1) Thomas-Fermi like models; (2) Hartree-Fock like models; and (3) Kohn-Sham density functional theory models.
△ Less
Submitted 10 September, 2023;
originally announced September 2023.
-
Nijenhuis operators on low dimensional pre-Lie algebras and solutions of CYBE
Authors:
Xiang Gao,
Chuangchuang Kang,
Jiafeng Lü,
Shizhuo Yu
Abstract:
We first classify all Nijenhuis operators on 2-dimensional complex pre-Lie algebras and 3-dimensional complex associative algebras. Moreover, applying the obtained classification, we provide solutions of classical Yang-Baxter equation of the semi-direct product sub-adjacent Lie algebras.
We first classify all Nijenhuis operators on 2-dimensional complex pre-Lie algebras and 3-dimensional complex associative algebras. Moreover, applying the obtained classification, we provide solutions of classical Yang-Baxter equation of the semi-direct product sub-adjacent Lie algebras.
△ Less
Submitted 23 August, 2023;
originally announced August 2023.
-
Manin triples associated to $n$-Lie bialgebras
Authors:
Ying Chen,
Chuangchuang Kang,
Jiafeng Lü,
Shizhuo Yu
Abstract:
In this paper, we study the Manin triples associated to $n$-Lie bialgebras. We introduce the concept of operad matrices for $n$-Lie bialgebras. In particular, by studying a special case of operad matrices, it leads to the notion of local cocycle $n$-Lie bialgebras. Furthermore, we establish a one-to-one correspondence between the double of $n$-Lie bialgebras and Manin triples of $n$-Lie algebras.
In this paper, we study the Manin triples associated to $n$-Lie bialgebras. We introduce the concept of operad matrices for $n$-Lie bialgebras. In particular, by studying a special case of operad matrices, it leads to the notion of local cocycle $n$-Lie bialgebras. Furthermore, we establish a one-to-one correspondence between the double of $n$-Lie bialgebras and Manin triples of $n$-Lie algebras.
△ Less
Submitted 8 March, 2024; v1 submitted 14 July, 2023;
originally announced July 2023.
-
Interpolation between modified logarithmic Sobolev and Poincare inequalities for quantum Markovian dynamics
Authors:
Bowen Li,
Jianfeng Lu
Abstract:
We define the quantum $p$-divergences and introduce Beckner's inequalities for primitive quantum Markov semigroups on a finite-dimensional matrix algebra satisfying the detailed balance condition. Such inequalities quantify the convergence rate of the quantum dynamics in the noncommutative $L_p$-norm. We obtain a number of implications between Beckner's inequalities and other quantum functional in…
▽ More
We define the quantum $p$-divergences and introduce Beckner's inequalities for primitive quantum Markov semigroups on a finite-dimensional matrix algebra satisfying the detailed balance condition. Such inequalities quantify the convergence rate of the quantum dynamics in the noncommutative $L_p$-norm. We obtain a number of implications between Beckner's inequalities and other quantum functional inequalities, as well as the hypercontractivity. In particular, we show that the quantum Beckner's inequalities interpolate between the Sobolev-type inequalities and the Poincaré inequality in a sharp way. We provide a uniform lower bound for the Beckner constant $α_p$ in terms of the spectral gap and establish the stability of $α_p$ with respect to the invariant state. As applications, we compute the Beckner constant for the depolarizing semigroup and discuss the mixing time. For symmetric quantum Markov semigroups, we derive the moment estimate, which further implies a concentration inequality.
We introduce a new class of quantum transport distances $W_{2,p}$ interpolating the quantum 2-Wasserstein distance by Carlen and Maas [J. Funct. Anal. 273(5), 1810-1869 (2017)] and a noncommutative $\dot{H}^{-1}$ Sobolev distance. We show that the quantum Markov semigroup with $σ$-GNS detailed balance is the gradient flow of a quantum $p$-divergence with respect to the metric $W_{2,p}$. We prove that the set of quantum states equipped with $W_{2,p}$ is a complete geodesic space. We then consider the associated entropic Ricci curvature lower bound via the geodesic convexity of $p$-divergence, and obtain an HWI-type interpolation inequality. This enables us to prove that the positive Ricci curvature implies the quantum Beckner's inequality, from which a transport cost and Poincaré inequalities can follow.
△ Less
Submitted 5 July, 2023; v1 submitted 13 July, 2022;
originally announced July 2022.
-
Asymptotic analysis of diabatic surface hopping algorithm in the adiabatic and non-adiabatic limits
Authors:
Zhenning Cai,
Di Fang,
Jianfeng Lu
Abstract:
Surface hopping algorithms, as an important class of quantum dynamics simulation algorithms for non-adiabatic dynamics, are typically performed in the adiabatic representation, which can break down in the presence of ill-defined adiabatic potential energy surfaces (PESs) and adiabatic coupling term. Another issue of surface hopping algorithms is the difficulty in capturing the correct scaling of t…
▽ More
Surface hopping algorithms, as an important class of quantum dynamics simulation algorithms for non-adiabatic dynamics, are typically performed in the adiabatic representation, which can break down in the presence of ill-defined adiabatic potential energy surfaces (PESs) and adiabatic coupling term. Another issue of surface hopping algorithms is the difficulty in capturing the correct scaling of the transition rate in the Marcus (weak-coupling/non-adiabatic) regime. Though the first issue can be circumvented by exploiting the diabatic representation, diabatic surface hopping algorithms usually lack justification on the theoretical level. We consider the diabatic surface hopping algorithm proposed in [Fang, Lu. Multiscale Model. Simul. 16:4, 1603-1622, 2018] and provide the asymptotic analysis of the transition rate in the Marcus regime that justifies the correct scaling for the spin-boson model. We propose two conditions that guarantee the correctness for general potentials. In the opposite (strong-coupling/adiabatic) regime, we derive the asymptotic behavior of the algorithm that interestingly matches a type of mean-field description. The techniques used here may shed light on the analysis for other diabatic-based algorithms.
△ Less
Submitted 4 May, 2022;
originally announced May 2022.
-
Inverse problems for locally perturbed lattices -- Discrete Hamiltonian and quantum graph
Authors:
Emilia Blåsten,
Pavel Exner,
Hiroshi Isozaki,
Matti Lassas,
Jinpeng Lu
Abstract:
We consider the inverse scattering problems for two types of Schrödinger operators on locally perturbed periodic lattices. For the discrete Hamiltonian, the knowledge of the S-matrix for all energies determines the graph structure and the coefficients of the Hamiltonian. For locally perturbed equilateral metric graphs, the knowledge of the S-matrix for all energies determines the graph structure.
We consider the inverse scattering problems for two types of Schrödinger operators on locally perturbed periodic lattices. For the discrete Hamiltonian, the knowledge of the S-matrix for all energies determines the graph structure and the coefficients of the Hamiltonian. For locally perturbed equilateral metric graphs, the knowledge of the S-matrix for all energies determines the graph structure.
△ Less
Submitted 2 February, 2022;
originally announced February 2022.
-
Geometry of backflow transformation ansatz for quantum many-body fermionic wavefunctions
Authors:
Hang Huang,
J. M. Landsberg,
Jianfeng Lu
Abstract:
Wave function ansatz based on the backflow transformation are widely used to parametrize anti-symmetric multivariable functions for many-body quantum problems. We study the geometric aspects of such ansatz, in particular we show that in general totally antisymmetric polynomials cannot be efficiently represented by backflow transformation ansatz at least in the category of polynomials. In fact, one…
▽ More
Wave function ansatz based on the backflow transformation are widely used to parametrize anti-symmetric multivariable functions for many-body quantum problems. We study the geometric aspects of such ansatz, in particular we show that in general totally antisymmetric polynomials cannot be efficiently represented by backflow transformation ansatz at least in the category of polynomials. In fact, one needs a linear combination of at least $O(N^{3N-3})$ determinants to represent a generic totally antisymmetric polynomial. Our proof is based on bounding the dimension of the source of the ansatz from above and bounding the dimension of the target from below.
△ Less
Submitted 19 November, 2021;
originally announced November 2021.
-
On the closedness and geometry of tensor network state sets
Authors:
Thomas Barthel,
Jianfeng Lu,
Gero Friesecke
Abstract:
Tensor network states (TNS) are a powerful approach for the study of strongly correlated quantum matter. The curse of dimensionality is addressed by parametrizing the many-body state in terms of a network of partially contracted tensors. These tensors form a substantially reduced set of effective degrees of freedom. In practical algorithms, functionals like energy expectation values or overlaps ar…
▽ More
Tensor network states (TNS) are a powerful approach for the study of strongly correlated quantum matter. The curse of dimensionality is addressed by parametrizing the many-body state in terms of a network of partially contracted tensors. These tensors form a substantially reduced set of effective degrees of freedom. In practical algorithms, functionals like energy expectation values or overlaps are optimized over certain sets of TNS. Concerning algorithmic stability, it is important whether the considered sets are closed because, otherwise, the algorithms may approach a boundary point that is outside the TNS set and tensor elements diverge. We discuss the closedness and geometries of TNS sets, and we propose regularizations for optimization problems on non-closed TNS sets. We show that sets of matrix product states (MPS) with open boundary conditions, tree tensor network states (TTNS), and the multiscale entanglement renormalization ansatz (MERA) are always closed, whereas sets of translation-invariant MPS with periodic boundary conditions (PBC), heterogeneous MPS with PBC, and projected entangled-pair states (PEPS) are generally not closed. The latter is done using explicit examples like the W state, states that we call two-domain states, and fine-grained versions thereof.
△ Less
Submitted 2 August, 2022; v1 submitted 30 July, 2021;
originally announced August 2021.
-
Algebraic localization of Wannier functions implies Chern triviality in non-periodic insulators
Authors:
Jianfeng Lu,
Kevin D. Stubbs
Abstract:
For gapped periodic systems (insulators), it has been established that the insulator is topologically trivial (i.e., its Chern number is equal to $0$) if and only if its Fermi projector admits an orthogonal basis with finite second moment (i.e., all basis elements satisfy $\int |\boldsymbol{x}|^2 |w(\boldsymbol{x})|^2 \,\textrm{d}{\boldsymbol{x}} < \infty$). In this paper, we extend one direction…
▽ More
For gapped periodic systems (insulators), it has been established that the insulator is topologically trivial (i.e., its Chern number is equal to $0$) if and only if its Fermi projector admits an orthogonal basis with finite second moment (i.e., all basis elements satisfy $\int |\boldsymbol{x}|^2 |w(\boldsymbol{x})|^2 \,\textrm{d}{\boldsymbol{x}} < \infty$). In this paper, we extend one direction of this result to non-periodic gapped systems. In particular, we show that the existence of an orthogonal basis with slightly more decay ($\int |\boldsymbol{x}|^{2+ε} |w(\boldsymbol{x})|^2 \,\textrm{d}{\boldsymbol{x}} < \infty$ for any $ε> 0$) is a sufficient condition to conclude that the Chern marker, the natural generalization of the Chern number, vanishes.
△ Less
Submitted 15 September, 2021; v1 submitted 22 July, 2021;
originally announced July 2021.
-
Edge state dynamics along curved interfaces
Authors:
Guillaume Bal,
Simon Becker,
Alexis Drouot,
Clotilde Fermanian Kammerer,
Jianfeng Lu,
Alexander Watson
Abstract:
We study the propagation of wavepackets along weakly curved interfaces between topologically distinct media. Our Hamiltonian is an adiabatic modulation of Dirac operators omnipresent in the topological insulators literature. Using explicit formulas for straight edges, we construct a family of solutions that propagates, for long times, unidirectionally and dispersion-free along the curved edge. We…
▽ More
We study the propagation of wavepackets along weakly curved interfaces between topologically distinct media. Our Hamiltonian is an adiabatic modulation of Dirac operators omnipresent in the topological insulators literature. Using explicit formulas for straight edges, we construct a family of solutions that propagates, for long times, unidirectionally and dispersion-free along the curved edge. We illustrate our results through various numerical simulations.
△ Less
Submitted 1 June, 2021;
originally announced June 2021.
-
A Priori Generalization Error Analysis of Two-Layer Neural Networks for Solving High Dimensional Schrödinger Eigenvalue Problems
Authors:
Jianfeng Lu,
Yulong Lu
Abstract:
This paper analyzes the generalization error of two-layer neural networks for computing the ground state of the Schrödinger operator on a $d$-dimensional hypercube. We prove that the convergence rate of the generalization error is independent of the dimension $d$, under the a priori assumption that the ground state lies in a spectral Barron space. We verify such assumption by proving a new regular…
▽ More
This paper analyzes the generalization error of two-layer neural networks for computing the ground state of the Schrödinger operator on a $d$-dimensional hypercube. We prove that the convergence rate of the generalization error is independent of the dimension $d$, under the a priori assumption that the ground state lies in a spectral Barron space. We verify such assumption by proving a new regularity estimate for the ground state in the spectral Barron space. The later is achieved by a fixed point argument based on the Krein-Rutman theorem.
△ Less
Submitted 3 May, 2021;
originally announced May 2021.
-
Exact exponential synchronization rate of high-dimensional Kuramoto models with identical oscillators and digraphs
Authors:
Shanshan Peng,
Jinxing Zhang,
Jiandong Zhu,
Jianquan Lu,
Xiaodi Li
Abstract:
For the high-dimensional Kuramoto model with identical oscillators under a general digraph that has a directed spanning tree, although exponential synchronization was proved under some initial state constraints, the exact exponential synchronization rate has not been revealed until now. In this paper, the exponential synchronization rate is precisely determined as the smallest non-zero real part o…
▽ More
For the high-dimensional Kuramoto model with identical oscillators under a general digraph that has a directed spanning tree, although exponential synchronization was proved under some initial state constraints, the exact exponential synchronization rate has not been revealed until now. In this paper, the exponential synchronization rate is precisely determined as the smallest non-zero real part of Laplacian eigenvalues of the digraph. Our obtained result extends the existing results from the special case of strongly connected balanced digraphs to the condition of general digraphs owning directed spanning trees, which is the weakest condition for synchronization from the aspect of network structure. Moreover, our adopted method is completely different from and much more elementary than the previous differential geometry method.
△ Less
Submitted 7 February, 2021;
originally announced February 2021.
-
Algebraic localization implies exponential localization in non-periodic insulators
Authors:
Jianfeng Lu,
Kevin D. Stubbs
Abstract:
Exponentially-localized Wannier functions are a basis of the Fermi projection of a Hamiltonian consisting of functions which decay exponentially fast in space. In two and three spatial dimensions, it is well understood for periodic insulators that exponentially-localized Wannier functions exist if and only if there exists an orthonormal basis for the Fermi projection with finite second moment (i.e…
▽ More
Exponentially-localized Wannier functions are a basis of the Fermi projection of a Hamiltonian consisting of functions which decay exponentially fast in space. In two and three spatial dimensions, it is well understood for periodic insulators that exponentially-localized Wannier functions exist if and only if there exists an orthonormal basis for the Fermi projection with finite second moment (i.e. all basis elements satisfy $\int |\boldsymbol{x}|^2 |w(\boldsymbol{x})|^2 \,\text{d}{\boldsymbol{x}} < \infty$). In this work, we establish a similar result for non-periodic insulators in two spatial dimensions. In particular, we prove that if there exists an orthonormal basis for the Fermi projection which satisfies $\int |\boldsymbol{x}|^{5 + ε} |w(\boldsymbol{x})|^2 \,\text{d}{\boldsymbol{x}} < \infty$ for some $ε> 0$ then there also exists an orthonormal basis for the Fermi projection which decays exponentially fast in space. This result lends support to the Localization Dichotomy Conjecture for non-periodic systems recently proposed by Marcelli, Monaco, Moscolari, and Panati
△ Less
Submitted 1 February, 2022; v1 submitted 7 January, 2021;
originally announced January 2021.
-
Locality of the windowed local density of states
Authors:
Terry A. Loring,
Jianfeng Lu,
Alexander B. Watson
Abstract:
We introduce a generalization of local density of states which is "windowed" with respect to position and energy, called the windowed local density of states (wLDOS). This definition generalizes the usual LDOS in the sense that the usual LDOS is recovered in the limit where the position window captures individual sites and the energy window is a delta distribution. We prove that the wLDOS is local…
▽ More
We introduce a generalization of local density of states which is "windowed" with respect to position and energy, called the windowed local density of states (wLDOS). This definition generalizes the usual LDOS in the sense that the usual LDOS is recovered in the limit where the position window captures individual sites and the energy window is a delta distribution. We prove that the wLDOS is local in the sense that it can be computed up to arbitrarily small error using spatial truncations of the system Hamiltonian. Using this result we prove that the wLDOS is well-defined and computable for infinite systems satisfying some natural assumptions. We finally present numerical computations of the wLDOS at the edge and in the bulk of a "Fibonacci SSH model", a one-dimensional non-periodic model with topological edge states.
△ Less
Submitted 14 April, 2021; v1 submitted 1 January, 2021;
originally announced January 2021.
-
The Iterated Projected Position Algorithm for Constructing Exponentially Localized Generalized Wannier Functions for Periodic and Non-Periodic Insulators in Two Dimensions and Higher
Authors:
Kevin D. Stubbs,
Alexander B. Watson,
Jianfeng Lu
Abstract:
Localized bases play an important role in understanding electronic structure. In periodic insulators, a natural choice of localized basis is given by the Wannier functions which depend a choice of unitary transform known as a gauge transformation. Over the past few decades, there have been many works which have focused on optimizing the choice of gauge so that the corresponding Wannier functions a…
▽ More
Localized bases play an important role in understanding electronic structure. In periodic insulators, a natural choice of localized basis is given by the Wannier functions which depend a choice of unitary transform known as a gauge transformation. Over the past few decades, there have been many works which have focused on optimizing the choice of gauge so that the corresponding Wannier functions are maximally localized or reflect some symmetry of the underlying system. In this work, we consider fully non-periodic materials where the usual Wannier functions are not well defined and gauge optimization is impossible. To tackle the problem of calculating exponentially localized generalized Wannier functions in both periodic and non-periodic system we discuss the "Iterated Projected Position (IPP)" algorithm. The IPP algorithm is based on matrix diagonalization and therefore unlike optimization based approaches it does not require initialization and cannot get stuck at a local minimum. Furthermore, the IPP algorithm is guaranteed by a rigorous analysis to produce exponentially localized functions under certain mild assumptions. We numerically demonstrate that the IPP algorithm can be used to calculate exponentially localized bases for the Haldane model, the Kane-Mele model (in both $\mathbb{Z}_2$ invariant even and $\mathbb{Z}_2$ invariant odd phases), and the $p_x + i p_y$ model on a quasi-crystal lattice.
△ Less
Submitted 3 October, 2020;
originally announced October 2020.
-
Defect resonances of truncated crystal structures
Authors:
Jianfeng Lu,
Jeremy L. Marzuola,
Alexander B. Watson
Abstract:
Defects in the atomic structure of crystalline materials may spawn electronic bound states, known as \emph{defect states}, which decay rapidly away from the defect. Simplified models of defect states typically assume the defect is surrounded on all sides by an infinite perfectly crystalline material. In reality the surrounding structure must be finite, and in certain contexts the structure can be…
▽ More
Defects in the atomic structure of crystalline materials may spawn electronic bound states, known as \emph{defect states}, which decay rapidly away from the defect. Simplified models of defect states typically assume the defect is surrounded on all sides by an infinite perfectly crystalline material. In reality the surrounding structure must be finite, and in certain contexts the structure can be small enough that edge effects are significant. In this work we investigate these edge effects and prove the following result. Suppose that a one-dimensional infinite crystalline material hosting a positive energy defect state is truncated a distance $M$ from the defect. Then, for sufficiently large $M$, there exists a resonance \emph{exponentially close} (in $M$) to the bound state eigenvalue. It follows that the truncated structure hosts a metastable state with an exponentially long lifetime. Our methods allow both the resonance frequency and associated resonant state to be computed to all orders in $e^{-M}$. We expect this result to be of particular interest in the context of photonic crystals, where defect states are used for wave-guiding and structures are relatively small. Finally, under a mild additional assumption we prove that if the defect state has negative energy then the truncated structure hosts a bound state with exponentially-close energy.
△ Less
Submitted 21 July, 2020; v1 submitted 13 June, 2020;
originally announced June 2020.
-
Existence and computation of generalized Wannier functions for non-periodic systems in two dimensions and higher
Authors:
Jianfeng Lu,
Kevin D. Stubbs,
Alexander B. Watson
Abstract:
Exponentially-localized Wannier functions (ELWFs) are an orthonormal basis of the Fermi projection of a material consisting of functions which decay exponentially fast away from their maxima. When the material is insulating and crystalline, conditions which guarantee existence of ELWFs in dimensions one, two, and three are well-known, and methods for constructing the ELWFs numerically are well-dev…
▽ More
Exponentially-localized Wannier functions (ELWFs) are an orthonormal basis of the Fermi projection of a material consisting of functions which decay exponentially fast away from their maxima. When the material is insulating and crystalline, conditions which guarantee existence of ELWFs in dimensions one, two, and three are well-known, and methods for constructing the ELWFs numerically are well-developed. We consider the case where the material is insulating but not necessarily crystalline, where much less is known. In one spatial dimension, Kivelson and Nenciu-Nenciu have proved ELWFs can be constructed as the eigenfunctions of a self-adjoint operator acting on the Fermi projection. In this work, we identify an assumption under which we can generalize the Kivelson-Nenciu-Nenciu result to two dimensions and higher. Under this assumption, we prove that ELWFs can be constructed as the eigenfunctions of a sequence of self-adjoint operators acting on the Fermi projection. We conjecture that the assumption we make is equivalent to vanishing of topological obstructions to the existence of ELWFs in the special case where the material is crystalline. We numerically verify that our construction yields ELWFs in various cases where our assumption holds and provide numerical evidence for our conjecture.
△ Less
Submitted 17 September, 2021; v1 submitted 14 March, 2020;
originally announced March 2020.
-
Dirac geometry and integration of Poisson homogeneous spaces
Authors:
Henrique Bursztyn,
David Iglesias-Ponte,
Jiang-Hua Lu
Abstract:
Using tools from Dirac geometry and through an explicit construction, we show that every Poisson homogeneous space of any Poisson Lie group admits an integration to a symplectic groupoid. Our theorem follows from a more general result which relates, for a principal bundle $M\to M/H$, integrations of a Dirac structure on $M/H$ to $H$-admissible integrations of its pullback Dirac structure on $M$ by…
▽ More
Using tools from Dirac geometry and through an explicit construction, we show that every Poisson homogeneous space of any Poisson Lie group admits an integration to a symplectic groupoid. Our theorem follows from a more general result which relates, for a principal bundle $M\to M/H$, integrations of a Dirac structure on $M/H$ to $H$-admissible integrations of its pullback Dirac structure on $M$ by pre-symplectic groupoids. Our construction gives a distinguished class of explicit real or holomorphic pre-symplectic and symplectic groupoids over semi-simple Lie groups and some of their homogeneous spaces, including their symmetric spaces, conjugacy classes, and flag varieties. In a more general framework, we also show integrability of all homogeneous spaces of ${\mathcal{LA}}^\vee$-Lie groups in the sense of E. Meinrenken.
△ Less
Submitted 18 September, 2021; v1 submitted 27 May, 2019;
originally announced May 2019.
-
Tensor Ring Decomposition: Optimization Landscape and One-loop Convergence of Alternating Least Squares
Authors:
Ziang Chen,
Yingzhou Li,
Jianfeng Lu
Abstract:
In this work, we study the tensor ring decomposition and its associated numerical algorithms. We establish a sharp transition of algorithmic difficulty of the optimization problem as the bond dimension increases: On one hand, we show the existence of spurious local minima for the optimization landscape even when the tensor ring format is much over-parameterized, i.e., with bond dimension much larg…
▽ More
In this work, we study the tensor ring decomposition and its associated numerical algorithms. We establish a sharp transition of algorithmic difficulty of the optimization problem as the bond dimension increases: On one hand, we show the existence of spurious local minima for the optimization landscape even when the tensor ring format is much over-parameterized, i.e., with bond dimension much larger than that of the true target tensor. On the other hand, when the bond dimension is further increased, we establish one-loop convergence for alternating least square algorithm for tensor ring decomposition. The theoretical results are complemented by numerical experiments for both local minimum and one-loop convergence for the alternating least square algorithm.
△ Less
Submitted 16 June, 2020; v1 submitted 16 May, 2019;
originally announced May 2019.
-
Tensorization of the strong data processing inequality for quantum chi-square divergences
Authors:
Yu Cao,
Jianfeng Lu
Abstract:
It is well-known that any quantum channel $\mathcal{E}$ satisfies the data processing inequality (DPI), with respect to various divergences, e.g., quantum $χ^2_κ$divergences and quantum relative entropy. More specifically, the data processing inequality states that the divergence between two arbitrary quantum states $ρ$ and $σ$ does not increase under the action of any quantum channel…
▽ More
It is well-known that any quantum channel $\mathcal{E}$ satisfies the data processing inequality (DPI), with respect to various divergences, e.g., quantum $χ^2_κ$divergences and quantum relative entropy. More specifically, the data processing inequality states that the divergence between two arbitrary quantum states $ρ$ and $σ$ does not increase under the action of any quantum channel $\mathcal{E}$. For a fixed channel $\mathcal{E}$ and a state $σ$, the divergence between output states $\mathcal{E}(ρ)$ and $\mathcal{E}(σ)$ might be strictly smaller than the divergence between input states $ρ$ and $σ$, which is characterized by the strong data processing inequality (SDPI). Among various input states $ρ$, the largest value of the rate of contraction is known as the SDPI constant. An important and widely studied property for classical channels is that SDPI constants tensorize. In this paper, we extend the tensorization property to the quantum regime: we establish the tensorization of SDPIs for the quantum $χ^2_{κ_{1/2}}$ divergence for arbitrary quantum channels and also for a family of $χ^2_κ$ divergences (with $κ\ge κ_{1/2}$) for arbitrary quantum-classical channels.
△ Less
Submitted 23 October, 2019; v1 submitted 13 April, 2019;
originally announced April 2019.
-
Symmetry Breaking in Density Functional Theory due to Dirac Exchange for a Hydrogen Molecule
Authors:
Michael Holst,
Houdong Hu,
Jianfeng Lu,
Jeremy L. Marzuola,
Duo Song,
John Weare
Abstract:
We study symmetry breaking in the mean field solutions to the 2 electron hydrogen molecule within Kohn Sham (KS) local spin density function theory with Dirac exchange (the XLDA model). This simplified model shows behavior related to that of the (KS) spin density functional theory (SDFT) predictions in condensed and molecular systems. The Kohn Sham solutions to the constrained SDFT variation probl…
▽ More
We study symmetry breaking in the mean field solutions to the 2 electron hydrogen molecule within Kohn Sham (KS) local spin density function theory with Dirac exchange (the XLDA model). This simplified model shows behavior related to that of the (KS) spin density functional theory (SDFT) predictions in condensed and molecular systems. The Kohn Sham solutions to the constrained SDFT variation problem undergo spontaneous symmetry breaking as the relative strength of the non-convex exchange term increases. This results in the change of the molecular ground state from a paramagnetic state to an antiferromagnetic ground states and a stationary symmetric delocalized 1st excited state. We further characterize the limiting behavior of the minimizer when the strength of the exchange term goes to infinity. This leads to further bifurcations and highly localized states with varying character. The stability of the various solution classes is demonstrated by Hessian analysis. Finite element numerical results provide support for the formal conjectures.
△ Less
Submitted 22 February, 2021; v1 submitted 9 February, 2019;
originally announced February 2019.
-
Inchworm Monte Carlo method for open quantum systems
Authors:
Zhenning Cai,
Jianfeng Lu,
Siyao Yang
Abstract:
We investigate in this work a recently proposed diagrammatic quantum Monte Carlo method --- the inchworm Monte Carlo method --- for open quantum systems. We establish its validity rigorously based on resummation of Dyson series. Moreover, we introduce an integro-differential equation formulation for open quantum systems, which illuminates the mathematical structure of the inchworm algorithm. This…
▽ More
We investigate in this work a recently proposed diagrammatic quantum Monte Carlo method --- the inchworm Monte Carlo method --- for open quantum systems. We establish its validity rigorously based on resummation of Dyson series. Moreover, we introduce an integro-differential equation formulation for open quantum systems, which illuminates the mathematical structure of the inchworm algorithm. This new formulation leads to an improvement of the inchworm algorithm by introducing classical deterministic time-integration schemes. The numerical method is validated by applications to the spin-boson model.
△ Less
Submitted 15 June, 2019; v1 submitted 19 November, 2018;
originally announced November 2018.
-
Gradient flow structure and exponential decay of the sandwiched Rényi divergence for primitive Lindblad equations with GNS-detailed balance
Authors:
Yu Cao,
Jianfeng Lu,
Yulong Lu
Abstract:
We study the entropy production of the sandwiched Rényi divergence under the primitive Lindblad equation with GNS-detailed balance. We prove that the Lindblad equation can be identified as the gradient flow of the sandwiched Rényi divergence of any order $α \in (0, \infty)$. This extends a previous result by Carlen and Maas [Journal of Functional Analysis, 273(5), 1810-1869] for the quantum relati…
▽ More
We study the entropy production of the sandwiched Rényi divergence under the primitive Lindblad equation with GNS-detailed balance. We prove that the Lindblad equation can be identified as the gradient flow of the sandwiched Rényi divergence of any order $α \in (0, \infty)$. This extends a previous result by Carlen and Maas [Journal of Functional Analysis, 273(5), 1810-1869] for the quantum relative entropy (i.e., $α = 1$). Moreover, we show that the sandwiched Rényi divergence of any order $α \in (0, \infty)$ decays exponentially fast under the time-evolution of such a Lindblad equation.
△ Less
Submitted 8 April, 2019; v1 submitted 1 October, 2018;
originally announced October 2018.
-
Dirac operators and domain walls
Authors:
Jianfeng Lu,
Alexander B. Watson,
Michael I. Weinstein
Abstract:
We study the eigenvalue problem for a one-dimensional Dirac operator with a spatially varying ``mass'' term. It is well-known that when the mass function has the form of a kink, or \emph{domain wall}, transitioning between strictly positive and strictly negative asymptotic mass, $\pmκ_\infty$, at $\pm\infty$, the Dirac operator has a simple eigenvalue of zero energy (geometric multiplicity equal t…
▽ More
We study the eigenvalue problem for a one-dimensional Dirac operator with a spatially varying ``mass'' term. It is well-known that when the mass function has the form of a kink, or \emph{domain wall}, transitioning between strictly positive and strictly negative asymptotic mass, $\pmκ_\infty$, at $\pm\infty$, the Dirac operator has a simple eigenvalue of zero energy (geometric multiplicity equal to one) within a gap in the continuous spectrum, with corresponding \emph{zero mode}, an exponentially localized eigenfunction. We prove that when the mass function has the form of \emph{two} domain walls separated by a sufficiently large distance $2 δ$, the Dirac operator has two real simple eigenvalues of opposite sign and of order $e^{- 2 |κ_\infty| δ}$. The associated eigenfunctions are, up to $L^2$ error of order $e^{- 2 |κ_\infty| δ}$, linear combinations of shifted copies of the single domain wall zero mode. For the case of three domain walls, there are two non-zero simple eigenvalues as above and a simple eigenvalue at energy zero. Our methods are based on a Lyapunov-Schmidt reduction strategy and we outline their natural extension to the case of $n$ domain walls for which the minimal distance between domain walls is sufficiently large.
The class of Dirac operators we consider controls the bifurcation of topologically protected ``edge states'' from Dirac points (linear band crossings) for classes of Schrödinger operators with domain-wall modulated periodic potentials in one and two space dimensions. The present results may be used to construct a rich class of defect modes in periodic structures modulated by multiple domain walls.
△ Less
Submitted 15 July, 2019; v1 submitted 3 August, 2018;
originally announced August 2018.
-
On discrete Wigner transforms
Authors:
Zhenning Cai,
Jianfeng Lu,
Kevin Stubbs
Abstract:
In this work, we derive a discrete analog of the Wigner transform over the space $(\mathbb{C}^p)^{\otimes N}$ for any prime $p$ and any positive integer $N$. We show that the Wigner transform over this space can be constructed as the inverse Fourier transform of the standard Pauli matrices for $p=2$ or more generally of the Heisenberg-Weyl group elements for $p > 2$. We connect our work to a previ…
▽ More
In this work, we derive a discrete analog of the Wigner transform over the space $(\mathbb{C}^p)^{\otimes N}$ for any prime $p$ and any positive integer $N$. We show that the Wigner transform over this space can be constructed as the inverse Fourier transform of the standard Pauli matrices for $p=2$ or more generally of the Heisenberg-Weyl group elements for $p > 2$. We connect our work to a previous construction by Wootters of a discrete Wigner transform by showing that for all $p$, Wootters' construction corresponds to taking the inverse symplectic Fourier transform instead of the inverse Fourier transform. Finally, we discuss some implications of these results for the numerical simulation of many-body quantum spin systems.
△ Less
Submitted 1 March, 2018; v1 submitted 15 February, 2018;
originally announced February 2018.
-
Fundamental limitations for measurements in quantum many-body systems
Authors:
Thomas Barthel,
Jianfeng Lu
Abstract:
Dynamical measurement schemes are an important tool for the investigation of quantum many-body systems, especially in the age of quantum simulation. Here, we address the question whether generic measurements can be implemented efficiently if we have access to a certain set of experimentally realizable measurements and can extend it through time evolution. For the latter, two scenarios are consider…
▽ More
Dynamical measurement schemes are an important tool for the investigation of quantum many-body systems, especially in the age of quantum simulation. Here, we address the question whether generic measurements can be implemented efficiently if we have access to a certain set of experimentally realizable measurements and can extend it through time evolution. For the latter, two scenarios are considered (a) evolution according to unitary circuits and (b) evolution due to Hamiltonians that we can control in a time-dependent fashion. We find that the time needed to realize a certain measurement to a predefined accuracy scales in general exponentially with the system size -- posing a fundamental limitation. The argument is based, on the construction of $\varepsilon$-packings for manifolds of observables with identical spectra and a comparison of their cardinalities to those of $\varepsilon$-coverings for quantum circuits and unitary time-evolution operators. The former is related to the study of Grassmann manifolds.
△ Less
Submitted 12 February, 2018;
originally announced February 2018.
-
Riesz Energy on the Torus: Regularity of Minimizers
Authors:
Jianfeng Lu,
Stefan Steinerberger
Abstract:
We study sets of $N$ points on the $d-$dimensional torus $\mathbb{T}^d$ minimizing interaction functionals of the type \[ \sum_{i, j =1 \atop i \neq j}^{N}{ f(x_i - x_j)}. \] The main result states that for a class of functions $f$ that behave like Riesz energies $f(x) \sim \|x\|^{-s}$ for $0< s < d$, the minimizing configuration of points has optimal regularity w.r.t. a Fourier-analytic regularit…
▽ More
We study sets of $N$ points on the $d-$dimensional torus $\mathbb{T}^d$ minimizing interaction functionals of the type \[ \sum_{i, j =1 \atop i \neq j}^{N}{ f(x_i - x_j)}. \] The main result states that for a class of functions $f$ that behave like Riesz energies $f(x) \sim \|x\|^{-s}$ for $0< s < d$, the minimizing configuration of points has optimal regularity w.r.t. a Fourier-analytic regularity measure that arises in the study of irregularities of distribution. A particular consequence is that they are optimal quadrature points in the space of trigonometric polynomials up to a certain degree. The proof extends to other settings and also covers less singular functions such as $f(x) = \exp\bigl(- N^{\frac{2}{d}} \|x\|^2 \bigr)$.
△ Less
Submitted 23 February, 2018; v1 submitted 22 October, 2017;
originally announced October 2017.
-
Detecting localized eigenstates of linear operators
Authors:
Jianfeng Lu,
Stefan Steinerberger
Abstract:
We describe a way of detecting the location of localized eigenvectors of a linear system $Ax = λx$ for eigenvalues $λ$ with $|λ|$ comparatively large. We define the family of functions $f_α: \left\{1.2. \dots, n\right\} \rightarrow \mathbb{R}_{}$ $$ f_α(k) = \log \left( \| A^α e_k \|_{\ell^2} \right),$$ where $α\geq 0$ is a parameter and $e_k = (0,0,\dots, 0,1,0, \dots, 0)$ is the $k-$th standard…
▽ More
We describe a way of detecting the location of localized eigenvectors of a linear system $Ax = λx$ for eigenvalues $λ$ with $|λ|$ comparatively large. We define the family of functions $f_α: \left\{1.2. \dots, n\right\} \rightarrow \mathbb{R}_{}$ $$ f_α(k) = \log \left( \| A^α e_k \|_{\ell^2} \right),$$ where $α\geq 0$ is a parameter and $e_k = (0,0,\dots, 0,1,0, \dots, 0)$ is the $k-$th standard basis vector. We prove that eigenvectors associated to eigenvalues with large absolute value localize around local maxima of $f_α$: the metastable states in the power iteration method (slowing down its convergence) can be used to predict localization. We present a fast randomized algorithm and discuss different examples: a random band matrix, discretizations of the local operator $-Δ+ V$ and the nonlocal operator $(-Δ)^{3/4} + V$.
△ Less
Submitted 16 March, 2018; v1 submitted 11 September, 2017;
originally announced September 2017.
-
A Quantum Kinetic Monte Carlo Method for Quantum Many-body Spin Dynamics
Authors:
Zhenning Cai,
Jianfeng Lu
Abstract:
We propose a general framework of quantum kinetic Monte Carlo algorithm, based on a stochastic representation of a series expansion of the quantum evolution. Two approaches have been developed in the context of quantum many-body spin dynamics, using different decomposition of the Hamiltonian. The effectiveness of the methods is tested for many-body spin systems up to 40 spins.
We propose a general framework of quantum kinetic Monte Carlo algorithm, based on a stochastic representation of a series expansion of the quantum evolution. Two approaches have been developed in the context of quantum many-body spin dynamics, using different decomposition of the Hamiltonian. The effectiveness of the methods is tested for many-body spin systems up to 40 spins.
△ Less
Submitted 15 January, 2018; v1 submitted 10 August, 2017;
originally announced September 2017.
-
A Diabatic Surface Hopping Algorithm based on Time Dependent Perturbation Theory and Semiclassical Analysis
Authors:
Di Fang,
Jianfeng Lu
Abstract:
Surface hopping algorithms are popular tools to study dynamics of the quantum-classical mixed systems. In this paper, we propose a surface hopping algorithm in diabatic representations, based on time dependent perturbation theory and semiclassical analysis. The algorithm can be viewed as a Monte Carlo sampling algorithm on the semiclassical path space for piecewise deterministic path with stochast…
▽ More
Surface hopping algorithms are popular tools to study dynamics of the quantum-classical mixed systems. In this paper, we propose a surface hopping algorithm in diabatic representations, based on time dependent perturbation theory and semiclassical analysis. The algorithm can be viewed as a Monte Carlo sampling algorithm on the semiclassical path space for piecewise deterministic path with stochastic jumps between the energy surfaces. The algorithm is validated numerically and it shows good performance in both weak coupling and avoided crossing regimes.
△ Less
Submitted 10 July, 2017; v1 submitted 3 July, 2017;
originally announced July 2017.
-
Lindblad equation and its semi-classical limit of the Anderson-Holstein model
Authors:
Yu Cao,
Jianfeng Lu
Abstract:
For multi-level open quantum system, the interaction between different levels could pose challenge to understand the quantum system both analytically and numerically. In this work, we study the approximation of the dynamics of the Anderson-Holstein model, as a model of multi-level open quantum system, by Redfield and Lindblad equations. Both equations have a desirable property that if the density…
▽ More
For multi-level open quantum system, the interaction between different levels could pose challenge to understand the quantum system both analytically and numerically. In this work, we study the approximation of the dynamics of the Anderson-Holstein model, as a model of multi-level open quantum system, by Redfield and Lindblad equations. Both equations have a desirable property that if the density operators for different levels is diagonal initially, they remain to be diagonal for any time. Thanks to this nice property, the semi-classical limit of both Redfield and Lindblad equations could be derived explicitly; the resulting classical master equations share similar structures of transport and hopping terms. The Redfield and Lindblad equations are also compared from the angle of time dependent perturbation theory.
△ Less
Submitted 23 June, 2017; v1 submitted 10 April, 2017;
originally announced April 2017.
-
Fractional stochastic differential equations satisfying fluctuation-dissipation theorem
Authors:
Lei Li,
Jian-Guo Liu,
Jianfeng Lu
Abstract:
We propose in this work a fractional stochastic differential equation (FSDE) model consistent with the over-damped limit of the generalized Langevin equation model. As a result of the `fluctuation-dissipation theorem', the differential equations driven by fractional Brownian noise to model memory effects should be paired with Caputo derivatives, and this FSDE model should be understood in an integ…
▽ More
We propose in this work a fractional stochastic differential equation (FSDE) model consistent with the over-damped limit of the generalized Langevin equation model. As a result of the `fluctuation-dissipation theorem', the differential equations driven by fractional Brownian noise to model memory effects should be paired with Caputo derivatives, and this FSDE model should be understood in an integral form. We establish the existence of strong solutions for such equations and discuss the ergodicity and convergence to Gibbs measure. In the linear forcing regime, we show rigorously the algebraic convergence to Gibbs measure when the `fluctuation-dissipation theorem' is satisfied, and this verifies that satisfying `fluctuation-dissipation theorem' indeed leads to the correct physical behavior. We further discuss possible approaches to analyze the ergodicity and convergence to Gibbs measure in the nonlinear forcing regime, while leave the rigorous analysis for future works. The FSDE model proposed is suitable for systems in contact with heat bath with power-law kernel and subdiffusion behaviors.
△ Less
Submitted 17 August, 2017; v1 submitted 13 December, 2016;
originally announced December 2016.
-
A Variation on the Donsker-Varadhan Inequality for the Principial Eigenvalue
Authors:
Jianfeng Lu,
Stefan Steinerberger
Abstract:
The purpose of this short note is to give a variation on the classical Donsker-Varadhan inequality, which bounds the first eigenvalue of a second-order elliptic operator on a bounded domain $Ω$ by the largest mean first exit time of the associated drift-diffusion process via $$λ_1 \geq \frac{1}{\sup_{x \in Ω} \mathbb{E}_x τ_{Ω^c}}.$$ Instead of looking at the mean of the first exit time, we study…
▽ More
The purpose of this short note is to give a variation on the classical Donsker-Varadhan inequality, which bounds the first eigenvalue of a second-order elliptic operator on a bounded domain $Ω$ by the largest mean first exit time of the associated drift-diffusion process via $$λ_1 \geq \frac{1}{\sup_{x \in Ω} \mathbb{E}_x τ_{Ω^c}}.$$ Instead of looking at the mean of the first exit time, we study quantiles: let $d_{p, \partial Ω}:Ω\rightarrow \mathbb{R}_{\geq 0}$ be the smallest time $t$ such that the likelihood of exiting within that time is $p$, then $$λ_1 \geq \frac{\log{(1/p)}}{\sup_{x \in Ω} d_{p,\partial Ω}(x)}.$$ Moreover, as $p \rightarrow 0$, this lower bound converges to $λ_1$.
△ Less
Submitted 17 July, 2017; v1 submitted 28 November, 2016;
originally announced November 2016.
-
Wavepackets in inhomogeneous periodic media: effective particle-field dynamics and Berry curvature
Authors:
Alexander B. Watson,
Jianfeng Lu,
Michael I. Weinstein
Abstract:
We consider a model of an electron in a crystal moving under the influence of an external electric field: Schrödinger's equation with a potential which is the sum of a periodic function and a general smooth function. We identify two dimensionless parameters: (re-scaled) Planck's constant and the ratio of the lattice spacing to the scale of variation of the external potential. We consider the speci…
▽ More
We consider a model of an electron in a crystal moving under the influence of an external electric field: Schrödinger's equation with a potential which is the sum of a periodic function and a general smooth function. We identify two dimensionless parameters: (re-scaled) Planck's constant and the ratio of the lattice spacing to the scale of variation of the external potential. We consider the special case where both parameters are equal and denote this parameter $ε$. In the limit $ε\downarrow 0$, we prove the existence of solutions known as semiclassical wavepackets which are asymptotic up to `Ehrenfest time' $t \sim \ln 1/ε$. To leading order, the center of mass and average quasi-momentum of these solutions evolve along trajectories generated by the classical Hamiltonian given by the sum of the Bloch band energy and the external potential. We then derive all corrections to the evolution of these observables proportional to $ε$. The corrections depend on the gauge-invariant Berry curvature of the Bloch band, and a coupling to the evolution of the wave-packet envelope which satisfies Schrödinger's equation with a time-dependent harmonic oscillator Hamiltonian. This infinite dimensional coupled `particle-field' system may be derived from an `extended' $ε$-dependent Hamiltonian. It is known that such coupling of observables (discrete particle-like degrees of freedom) to the wave-envelope (continuum field-like degrees of freedom) can have a significant impact on the overall dynamics.
△ Less
Submitted 20 December, 2016; v1 submitted 10 November, 2016;
originally announced November 2016.
-
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.
-
Thermodynamic Limit of Crystal Defects with Finite Temperature Tight Binding
Authors:
Huajie Chen,
Jianfeng Lu,
Christoph Ortner
Abstract:
We consider a tight binding model for localised crystalline defects with electrons in the canonical ensemble (finite electronic temperature) and nuclei positions relaxed according to the Born--Oppenheimer approximation. We prove that the limit model as the computational domain size grows to infinity is formulated in the grand-canonical ensemble for the electrons. The Fermi-level for the limit mode…
▽ More
We consider a tight binding model for localised crystalline defects with electrons in the canonical ensemble (finite electronic temperature) and nuclei positions relaxed according to the Born--Oppenheimer approximation. We prove that the limit model as the computational domain size grows to infinity is formulated in the grand-canonical ensemble for the electrons. The Fermi-level for the limit model is fixed at a homogeneous crystal level, independent of the defect or electron number in the sequence of finite-domain approximations. We quantify the rates of convergence for the nuclei configuration and for the Fermi-level.
△ Less
Submitted 11 September, 2017; v1 submitted 22 July, 2016;
originally announced July 2016.
-
Frozen Gaussian approximation with surface hopping for mixed quantum-classical dynamics: A mathematical justification of fewest switches surface hopping algorithms
Authors:
Jianfeng Lu,
Zhennan Zhou
Abstract:
We develop a surface hopping algorithm based on frozen Gaussian approximation for semiclassical matrix Schrödinger equations, in the spirit of Tully's fewest switches surface hopping method. The algorithm is asymptotically derived from the Schrödinger equation with rigorous approximation error analysis. The resulting algorithm can be viewed as a path integral stochastic representation of the semic…
▽ More
We develop a surface hopping algorithm based on frozen Gaussian approximation for semiclassical matrix Schrödinger equations, in the spirit of Tully's fewest switches surface hopping method. The algorithm is asymptotically derived from the Schrödinger equation with rigorous approximation error analysis. The resulting algorithm can be viewed as a path integral stochastic representation of the semiclassical matrix Schrödinger equations. Our results provide mathematical understanding to and shed new light on the important class of surface hopping methods in theoretical and computational chemistry.
△ Less
Submitted 22 March, 2017; v1 submitted 20 February, 2016;
originally announced February 2016.
-
An isoperimetric problem with Coulomb repulsion and attraction to a background nucleus
Authors:
Jianfeng Lu,
Felix Otto
Abstract:
We study an isoperimetric problem the energy of which contains the perimeter of a set, Coulomb repulsion of the set with itself, and attraction of the set to a background nucleus as a point charge with charge $Z$. For the variational problem with constrained volume $V$, our main result is that the minimizer does not exist if $V - Z$ is larger than a constant multiple of $\max(Z^{2/3}, 1)$. The mai…
▽ More
We study an isoperimetric problem the energy of which contains the perimeter of a set, Coulomb repulsion of the set with itself, and attraction of the set to a background nucleus as a point charge with charge $Z$. For the variational problem with constrained volume $V$, our main result is that the minimizer does not exist if $V - Z$ is larger than a constant multiple of $\max(Z^{2/3}, 1)$. The main technical ingredients of our proof are a uniform density lemma and electrostatic screening arguments.
△ Less
Submitted 28 August, 2015;
originally announced August 2015.
-
Orbital-free density functional theory of out-of-plane charge screening in graphene
Authors:
Jianfeng Lu,
Vitaly Moroz,
Cyrill B. Muratov
Abstract:
We propose a density functional theory of Thomas-Fermi-Dirac-von Weizsäcker type to describe the response of a single layer of graphene resting on a dielectric substrate to a point charge or a collection of charges some distance away from the layer. We formulate a variational setting in which the proposed energy functional admits minimizers, both in the case of free graphene layers and under back-…
▽ More
We propose a density functional theory of Thomas-Fermi-Dirac-von Weizsäcker type to describe the response of a single layer of graphene resting on a dielectric substrate to a point charge or a collection of charges some distance away from the layer. We formulate a variational setting in which the proposed energy functional admits minimizers, both in the case of free graphene layers and under back-gating. We further provide conditions under which those minimizers are unique and correspond to configurations consisting of inhomogeneous density profiles of charge carrier of only one type. The associated Euler-Lagrange equation for the charge density is also obtained, and uniqueness, regularity and decay of the minimizers are proved under general conditions. In addition, a bifurcation from zero to non-zero response at a finite threshold value of the external charge is proved.
△ Less
Submitted 30 June, 2015; v1 submitted 20 May, 2014;
originally announced May 2014.
-
Density matrix minimization with $\ell_1$ regularization
Authors:
Rongjie Lai,
Jianfeng Lu,
Stanley Osher
Abstract:
We propose a convex variational principle to find sparse representation of low-lying eigenspace of symmetric matrices. In the context of electronic structure calculation, this corresponds to a sparse density matrix minimization algorithm with $\ell_1$ regularization. The minimization problem can be efficiently solved by a split Bergman iteration type algorithm. We further prove that from any initi…
▽ More
We propose a convex variational principle to find sparse representation of low-lying eigenspace of symmetric matrices. In the context of electronic structure calculation, this corresponds to a sparse density matrix minimization algorithm with $\ell_1$ regularization. The minimization problem can be efficiently solved by a split Bergman iteration type algorithm. We further prove that from any initial condition, the algorithm converges to a minimizer of the variational principle.
△ Less
Submitted 6 March, 2014;
originally announced March 2014.
-
A variational perspective on cloaking by anomalous localized resonance
Authors:
Robert V. Kohn,
Jianfeng Lu,
Ben Schweizer,
Michael I. Weinstein
Abstract:
A body of literature has developed concerning "cloaking by anomalous localized resonance". The mathematical heart of the matter involves the behavior of a divergence-form elliptic equation in the plane, $\nabla\cdot (a(x)\nabla u(x)) = f(x)$. The complex-valued coefficient has a matrix-shell-core geometry, with real part equal to 1 in the matrix and the core, and -1 in the shell; one is interested…
▽ More
A body of literature has developed concerning "cloaking by anomalous localized resonance". The mathematical heart of the matter involves the behavior of a divergence-form elliptic equation in the plane, $\nabla\cdot (a(x)\nabla u(x)) = f(x)$. The complex-valued coefficient has a matrix-shell-core geometry, with real part equal to 1 in the matrix and the core, and -1 in the shell; one is interested in understanding the resonant behavior of the solution as the imaginary part of $a(x)$ decreases to zero (so that ellipticity is lost). Most analytical work in this area has relied on separation of variables, and has therefore been restricted to radial geometries. We introduce a new approach based on a pair of dual variational principles, and apply it to some non-radial examples. In our examples, as in the radial setting, the spatial location of the source $f$ plays a crucial role in determining whether or not resonance occurs.
△ Less
Submitted 17 October, 2012;
originally announced October 2012.
-
Objective-First Nanophotonic Design
Authors:
Jesse Lu,
Jelena Vuckovic
Abstract:
We introduce an "objective-first" strategy for designing nanophotonic devices, and we demonstrate the design of nanophotonic coupler, cloak, and mimic devices.
We introduce an "objective-first" strategy for designing nanophotonic devices, and we demonstrate the design of nanophotonic coupler, cloak, and mimic devices.
△ Less
Submitted 10 July, 2012;
originally announced July 2012.
-
Cauchy-Born rule and spin density wave for the spin-polarized Thomas-Fermi-Dirac-von Weizsacker model
Authors:
Weinan E,
Jianfeng Lu
Abstract:
The electronic structure (electron charges and spins) of a perfect crystal under external magnetic field is analyzed using the spin-polarized Thomas-Fermi-Dirac-von Weizsacker model. An extension of the classical Cauchy-Born rule for crystal lattices is established for the electronic structure under sharp stability conditions on charge density wave and spin density wave. A Landau-Lifschitz type mi…
▽ More
The electronic structure (electron charges and spins) of a perfect crystal under external magnetic field is analyzed using the spin-polarized Thomas-Fermi-Dirac-von Weizsacker model. An extension of the classical Cauchy-Born rule for crystal lattices is established for the electronic structure under sharp stability conditions on charge density wave and spin density wave. A Landau-Lifschitz type micromagnetic energy functional is derived.
△ Less
Submitted 27 February, 2011;
originally announced February 2011.
-
Effective Maxwell equations from time-dependent density functional theory
Authors:
Weinan E,
Jianfeng Lu,
Xu Yang
Abstract:
The behavior of interacting electrons in a perfect crystal under macroscopic external electric and magnetic fields is studied. Effective Maxwell equations for the macroscopic electric and magnetic fields are derived starting from time-dependent density functional theory. Effective permittivity and permeability coefficients are obtained.
The behavior of interacting electrons in a perfect crystal under macroscopic external electric and magnetic fields is studied. Effective Maxwell equations for the macroscopic electric and magnetic fields are derived starting from time-dependent density functional theory. Effective permittivity and permeability coefficients are obtained.
△ Less
Submitted 23 October, 2010;
originally announced October 2010.
-
Recurrence and Polya number of general one-dimensional random walks
Authors:
Xiao-Kun Zhang,
Jing Wan,
Jing-Ju Lu,
Xin-Ping Xu
Abstract:
The recurrence properties of random walks can be characterized by Pólya number, i.e., the probability that the walker has returned to the origin at least once. In this paper, we consider recurrence properties for a general 1D random walk on a line, in which at each time step the walker can move to the left or right with probabilities $l$ and $r$, or remain at the same position with probability…
▽ More
The recurrence properties of random walks can be characterized by Pólya number, i.e., the probability that the walker has returned to the origin at least once. In this paper, we consider recurrence properties for a general 1D random walk on a line, in which at each time step the walker can move to the left or right with probabilities $l$ and $r$, or remain at the same position with probability $o$ ($l+r+o=1$). We calculate Pólya number $P$ of this model and find a simple expression for $P$ as, $P=1-Δ$, where $Δ$ is the absolute difference of $l$ and $r$ ($Δ=|l-r|$). We prove this rigorous expression by the method of creative telescoping, and our result suggests that the walk is recurrent if and only if the left-moving probability $l$ equals to the right-moving probability $r$.
△ Less
Submitted 11 October, 2010;
originally announced October 2010.
