SearcharxivSearch

arXiv subjects

Aihui Zhou

Publications and source records attributed to Aihui Zhou.

At least 19 recordsLinked to original sources

A quasi-orthogonal method based on the inverse operator for Schr{\"o}dinger eigenvalue problems

Computing many eigenpairs of the Schr{\"o}dinger operator presents a computational bottleneck in large-scale quantum simulations due to the global communication overhead of explicit orthogonalization. To address this issue, we propose a quasi-orthogonal evolution model utilizing inverse operators and develop a corresponding discrete numerical scheme. Instead of forcing explicit orthogonalization, the proposed framework confines the numerical approximations within a quasi-Stiefel set, ensuring the iterates maintain full column rank without requiring $\left\langle U, U \right\rangle=I_N$. Moreover, the method naturally absorbs orthogonality errors and asymptotically converges to the exact eigenfunctions, even when initialized with non-orthogonal random data. The scheme guarantees monotonic dissipation of the target energy functional, with exponential convergence rates rigorously established for the discrete energy, gradient, and eigenfunction approximations. Furthermore, infinite-dimensional analysis proves that the admissible time step size is independent of the spatial discretization. This property overcomes the mesh-dependent stability constraints typical of conventional explicit or semi-implicit schemes, permitting larger time increments to accelerate global convergence. Numerical experiments validate the theoretical findings.

math.NA

Spectral Analysis of the Schr\"odinger Operator for the Incommensurate System

Many novel and unique physical phenomena in incommensurate systems can be illustrated and predicted using their spectral structure and electronic state distributions. However, the absence of periodicity in these systems poses significant challenges for obtaining the associated information. In this paper, by embedding the system into higher dimensions together with introducing a regularization technique, we prove that the spectrum of the Schr\"odinger operator for the incommensurate system can be approximated by the spectra of a family of regularized Schr\"odinger operators, which are elliptic, retain periodicity, and enjoy favorable analytic and spectral properties. We also show the well-posedness of the probability density describing the electronic state distribution of the incommensurate system, which can be approximated by the ones generated by the Bloch solutions to the regularized model. Our analysis provides theoretical support for understanding and computing incommensurate systems.

math-ph

An Iterative Method with Asymptotic Orthogonality for Simultaneous Eigenpair Computation

The simultaneous computation of a cluster of eigenpairs with mutually orthogonal eigenvectors is a basic task in scientific computing. We develop a predictor--corrector discretization of the quasi-Grassmannian gradient flow for simultaneous eigenpair computation. The proposed iteration requires neither orthogonal initial data nor any orthogonalization operation: the predictor preserves the current Gram matrix, whereas the corrector reduces the orthogonality error, so that the iterates approach orthogonality asymptotically. We establish well-posedness of the discrete scheme and prove invariant-subspace nonexpansion, asymptotic orthogonality, energy decrease, and convergence to the target eigenspace. Numerical experiments with the discrete equations solved approximately show that the numerical iterates converge to eigenpair approximations whose eigenvectors are numerically orthogonal to high accuracy, while the energy and gradient norm decrease over the iterations.

math.NA

An orthogonality-preserving approach for eigenvalue problems

Solving large-scale eigenvalue problems poses a significant challenge due to the computational complexity and limitations on the parallel scalability of the orthogonalization operation, when many eigenpairs are required. In this paper, we propose an intrinsic orthogonality-preserving model, formulated as an evolution equation, and a corresponding numerical method for eigenvalue problems. The proposed approach automatically preserves orthogonality and exhibits energy dissipation during both time evolution and numerical iterations, provided that the initial data are orthogonal, thus offering an accurate and efficient approximation for the large-scale eigenvalue problems with orthogonality constraints. Furthermore, we rigorously prove the convergence of the scheme without the time step size restrictions imposed by the CFL conditions. Numerical experiments not only corroborate the validity of our theoretical analyses but also demonstrate the remarkably high efficiency of the algorithm.

math.NA

A gradient flow model for the Gross--Pitaevskii problem: Mathematical and numerical analysis

This paper concerns the mathematical and numerical analysis of the $L^2$ normalized gradient flow model for the Gross--Pitaevskii eigenvalue problem, which has been widely used to design the numerical schemes for the computation of the ground state of the Bose--Einstein condensate. We first provide the mathematical analysis for the model, including the well-posedness and the asymptotic behavior of the solution. Then we propose a normalized implicit-explicit fully discrete numerical scheme for the gradient flow model, and give some numerical analysis for the scheme, including the well-posedness and optimal convergence of the approximation. Some numerical experiments are provided to validate the theory.

math.NA

Convergence of the adaptive finite element discretization based parallel orbital-updating method for eigenvalue problems

It is significant and challenging to solve eigenvalue problems of partial differential operators when many highly accurate eigenpair approximations are required. The adaptive finite element discretization based parallel orbital-updating method, which can significantly reduce the computational cost and enhance the parallel scalability, has been shown to be efficient in electronic structure calculations. However, there is no any mathematical justification for this method in literature. In this paper, we will show the convergence of the method for clustered eigenvalue problems of linear partial differential operators.

math.NA

A quasi-Grassmannian gradient flow model for eigenvalue problems

We propose a quasi-Grassmannian gradient flow model for eigenvalue problems of linear operators, aiming to efficiently address many eigenpairs. Our model inherently ensures asymptotic orthogonality: without the need for initial orthogonality, the solution naturally evolves toward being orthogonal over time. We establish the well-posedness of the model, and provide the analytic representation of solutions. Through asymptotic analysis, we show that the gradient converges exponentially to zero and that the energy converges exponentially to its minimum. This implies that the solution of the quasi-Grassmannian gradient flow model converges to the solution of the eigenvalue problems as time progresses. These results provide a continuous-flow framework in which the Stiefel constraint is recovered asymptotically rather than imposed on the initial data.

math.NA

Numerical Analysis of the Parallel Orbital-Updating Approach for Eigenvalue Problems

The parallel orbital-updating approach is an orbital/eigenfunction iteration based approach for solving eigenvalue problems when many eigenpairs are required. It has been proven to be efficient, for instance, in electronic structure calculations. In this paper, based on the investigation of a quasi-orthogonality, we present the numerical analysis of the parallel orbital-updating approach for linear eigenvalue problems, including convergence and error estimates of the numerical approximations.

math.NA

A Mathematical Aspect of Bloch's Theorem

In this paper, by studying a class of 1-D Sturm-Liouville problems with periodic coefficients, we show and classify the solutions of periodic Schrodinger equations in a multidimensional case, which tells that not all the solutions are Bloch solutions. In addition, we also provide several properties of the solutions and quasimomenta and illustrate the relationship between bounded solutions and Bloch solutions.

math-ph

Convergence of the Planewave Approximations for Quantum Incommensurate Systems

Incommensurate structures arise from stacking single layers of low-dimensional materials on top of one another with misalignment such as an in-plane twist in orientation. While these structures are of significant physical interest, they pose many theoretical challenges due to the loss of periodicity. In this paper, we characterize the density of states of Schrödinger operators in the weak sense for the incommensurate system and develop novel numerical methods to approximate them. In particular, we (i) justify the thermodynamic limit of the density of states in the real space formulation; and (ii) propose efficient numerical schemes to evaluate the density of states based on planewave approximations and reciprocal space sampling. We present both rigorous analysis and numerical simulations to support the reliability and efficiency of our numerical algorithms.

math.NA

A Fast, Performant, Secure Distributed Training Framework For Large Language Model

The distributed (federated) LLM is an important method for co-training the domain-specific LLM using siloed data. However, maliciously stealing model parameters and data from the server or client side has become an urgent problem to be solved. In this paper, we propose a secure distributed LLM based on model slicing. In this case, we deploy the Trusted Execution Environment (TEE) on both the client and server side, and put the fine-tuned structure (LoRA or embedding of P-tuning v2) into the TEE. Then, secure communication is executed in the TEE and general environments through lightweight encryption. In order to further reduce the equipment cost as well as increase the model performance and accuracy, we propose a split fine-tuning scheme. In particular, we split the LLM by layers and place the latter layers in a server-side TEE (the client does not need a TEE). We then combine the proposed Sparsification Parameter Fine-tuning (SPF) with the LoRA part to improve the accuracy of the downstream task. Numerous experiments have shown that our method guarantees accuracy while maintaining security.

cs.LG

Localization in the Incommensurate Systems: A Plane Wave Study via Effective Potentials

In this paper, we apply the effective potentials in the localization landscape theory (Filoche et al., 2012, Arnold et al., 2016) to study the spectral properties of the incommensurate systems. We uniquely develop a plane wave method for the effective potentials of the incommensurate systems and utilize that, the localization of the electron density can be inferred from the effective potentials. Moreover, we show that the spectrum distribution can also be obtained from the effective potential version of Weyl's law. We perform some numerical experiments on some typical incommensurate systems, showing that the effective potential provides an alternative tool for investigating the localization and spectrum distribution of the systems.

math-ph

An Augmented Subspace Based Adaptive Proper Orthogonal Decomposition Method for Time Dependent Partial Differential Equations

In this paper, we propose an augmented subspace based adaptive proper orthogonal decomposition (POD) method for solving the time dependent partial differential equations. By augmenting the POD subspace with some auxiliary modes, we obtain an augmented subspace. We use the difference between the approximation obtained in this augmented subspace and that obtained in the original POD subspace to construct an error indicator, by which we obtain a general framework for augmented subspace based adaptive POD method. We then provide two strategies to obtain some specific augmented subspaces, the random vector based augmented subspace and the coarse-grid approximations based augmented subspace. We apply our new method to two typical 3D advection-diffusion equations with the advection being the Kolmogorov flow and the ABC flow. Numerical results show that our method is more efficient than the existing adaptive POD methods, especially for the advection dominated models.

math.NA

An extended plane wave framework for the electronic structure calculations of twisted bilayer material systems

In this paper, we propose an extended plane wave framework to make the electronic structure calculations of the twisted bilayer 2D material systems practically feasible. Based on the foundation in [Y. Zhou, H. Chen, A. Zhou, J. Comput. Phys. 384, 99 (2019)], following extensions take place: (1) an tensor-producted basis set, which adopts PWs in the incommensurate dimensions, and localized basis in the interlayer dimension, (2) a practical application of a novel cutoff techniques we have recently developed, and (3) a quasi-band structure picture under the small twisted angles and weak interlayer coupling limits. With (1) and (2) now the dimensions of Hamiltonian matrix are reduced by about 2 orders of magnitude compared with the original framework. And (3) enables us to better organize the calculations and understand the results. For numerical examples, we study the electronic structures of the linear bilayer graphene lattice system with the magic twisted angle ($\sim 1.05^{\circ}$). The famous flat bands have been reproduced with their features in quantitative agreement with those from experiments and other theoretical calculations. Moreover, the extended framework has much less computational cost compared to the commensurate cell approximations, and is more extendable compared to the traditional model hamiltonians and tight binding models. Finally this framework can readily accommodate nonlinear models thus will laid the foundations for more effective yet accurate Density Functional Theory (DFT) calculations.

physics.comp-ph

Convergence and Complexity of an Adaptive Planewave Method for Eigenvalue Computations

In this paper, we study the adaptive planewave discretization for a cluster of eigenvalues of second-order elliptic partial differential equations. We first design an a posteriori error estimator and prove both the upper and lower bounds. Based on the a posteriori error estimator, we propose an adaptive planewave method. We then prove that the adaptive planewave approximations have the linear convergence rate and quasi-optimal complexity.

math.NA

Convergent and orthogonality preserving schemes for approximating the Kohn-Sham orbitals

To obtain convergent numerical approximations without using any orthogonalization operations is of great importance in electronic structure calculations. In this paper, we propose and analyze a class of iteration schemes for the discretized Kohn- Sham Density Functional Theory model, with which the iterative approximations are guaranteed to converge to the Kohn-Sham orbitals exponentially without any orthogonalization as long as the initial orbitals are orthogonal and the time step sizes are given properly. In addition, we present a feasible and efficient approach to get suitable time step sizes and report some numerical experiments to validate our theory.

math.NA

Symmetrized two-scale finite element discretizations for partial differential equations with symmetric solutions

In this paper, a symmetrized two-scale finite element method is proposed for a class of partial differential equations with symmetric solutions. With this method, the finite element approximation on a fine tensor product grid is reduced to the finite element approximations on a much coarse grid and a univariant fine grid. It is shown by both theory and numerics including electronic structure calculations that the resulting approximation still maintains an asymptotically optimal accuracy. Consequently the symmetrized two-scale finite element method reduces computational cost significantly.

math.NA

Mathematical Analysis and Numerical Approximations of Density Functional Theory Models for Metallic Systems

In this paper, we investigate the energy minimization model of the ensemble Kohn-Sham density functional theory for metallic systems, in which a pseudo-eigenvalue matrix and a general smearing approach are involved. We study the invariance and the existence of the minimizer of the energy functional. We propose an adaptive double step size strategy and the corresponding preconditioned conjugate gradient methods for solving the energy minimization model. Under some mild but reasonable assumptions, we prove the global convergence of our algorithms. Numerical experiments show that our algorithms are efficient, especially for large scale metallic systems. In particular, our algorithms produce convergent numerical approximations for some metallic systems, for which the traditional self-consistent field iterations fail to converge.

math.NA