-
Inverse Volume Scaling of Finite-Size Error in Periodic Coupled Cluster Theory
Authors:
Xin Xing,
Lin Lin
Abstract:
Coupled cluster theory is one of the most popular post-Hartree-Fock methods for ab initio molecular quantum chemistry. The finite-size error of the correlation energy in periodic coupled cluster calculations for three-dimensional insulating systems has been observed to satisfy the inverse volume scaling, even in the absence of any correction schemes. This is surprising, as simpler theories that ut…
▽ More
Coupled cluster theory is one of the most popular post-Hartree-Fock methods for ab initio molecular quantum chemistry. The finite-size error of the correlation energy in periodic coupled cluster calculations for three-dimensional insulating systems has been observed to satisfy the inverse volume scaling, even in the absence of any correction schemes. This is surprising, as simpler theories that utilize only a subset of the coupled cluster diagrams exhibit much slower decay of the finite-size error, which scales inversely with the length of the system. In this study, we review the current understanding of finite-size error in quantum chemistry methods for periodic systems. We introduce new tools that elucidate the mechanisms behind this phenomenon in the context of coupled cluster doubles calculations. This reconciles some seemingly paradoxical statements related to finite-size scaling. Our findings also show that singularity subtraction can be a powerful method to effectively reduce finite-size errors in practical quantum chemistry calculations for periodic systems.
△ Less
Submitted 31 March, 2024; v1 submitted 6 April, 2023;
originally announced April 2023.
-
Finite-size effects in periodic coupled cluster calculations
Authors:
Xin Xing,
Lin Lin
Abstract:
We provide the first rigorous study of the finite-size error in the simplest and representative coupled cluster theory, namely the coupled cluster doubles (CCD) theory, for gapped periodic systems. Assuming that the CCD equations are solved using exact Hartree-Fock orbitals and orbital energies, we prove that the convergence rate of finite-size error scales as…
▽ More
We provide the first rigorous study of the finite-size error in the simplest and representative coupled cluster theory, namely the coupled cluster doubles (CCD) theory, for gapped periodic systems. Assuming that the CCD equations are solved using exact Hartree-Fock orbitals and orbital energies, we prove that the convergence rate of finite-size error scales as $\mathscr{O}(N_\mathbf{k}^{-\frac13})$, where $N_{\mathbf{k}}$ is the number of discretization point in the Brillouin zone and characterizes the system size. Our analysis shows that the dominant error lies in the coupled cluster amplitude calculation, and the convergence of the finite-size error in energy calculations can be boosted to $\mathscr{O}(N_\mathbf{k}^{-1})$ with accurate amplitudes. This also provides the first proof of the scaling of the finite-size error in the third order Møller-Plesset perturbation theory (MP3) for periodic systems.
△ Less
Submitted 12 February, 2023;
originally announced February 2023.
-
An iterative two-grid method for strongly nonlinear elliptic boundary value problems
Authors:
Jiajun Zhan,
Lei Yang,
Xiaoqing Xing,
Liuqiang Zhong
Abstract:
We design and analyze an iterative two-grid algorithm for the finite element discretizations of strongly nonlinear elliptic boundary value problems in this paper. We propose an iterative two-grid algorithm, in which a nonlinear problem is first solved on the coarse space, and then a symmetric positive definite problem is solved on the fine space. The innovation of this paper lies in the establishm…
▽ More
We design and analyze an iterative two-grid algorithm for the finite element discretizations of strongly nonlinear elliptic boundary value problems in this paper. We propose an iterative two-grid algorithm, in which a nonlinear problem is first solved on the coarse space, and then a symmetric positive definite problem is solved on the fine space. The innovation of this paper lies in the establishment of a first convergence analysis, which requires simultaneous estimation of four interconnected error estimates. We also present some numerical experiments to confirm the efficiency of the proposed algorithm.
△ Less
Submitted 3 May, 2023; v1 submitted 7 January, 2023;
originally announced January 2023.
-
A Posterior Error Estimator for Mixed Interior Penalty Discontinuous Galerkin Finite Element Method for the H(curl)-Elliptic Problems
Authors:
Ming Tang,
Xiaoqing Xing,
Liuqiang Zhong
Abstract:
In this paper, we design the first residual type a posteriori error estimator for mixed interior penalty discontinuous Galerkin method for the H(curl)-elliptic problems. Then we prove that our residual based a posteriori error indicator is both reliable and efficient. At last, we present some numerical experiments to validate the performance of the indicator within an adaptive mesh refinement proc…
▽ More
In this paper, we design the first residual type a posteriori error estimator for mixed interior penalty discontinuous Galerkin method for the H(curl)-elliptic problems. Then we prove that our residual based a posteriori error indicator is both reliable and efficient. At last, we present some numerical experiments to validate the performance of the indicator within an adaptive mesh refinement procedure.
△ Less
Submitted 4 January, 2023;
originally announced January 2023.
-
Convergence of Adaptive Mixed Interior Penalty Discontinuous Galerkin Methods for H(curl)-Elliptic Problems
Authors:
K. Liu,
M. Tang,
X. Q. Xing,
L. Q. Zhong
Abstract:
In this paper, we study the convergence of adaptive mixed interior penalty discontinuous Galerkin method for H(curl)-elliptic problems. We first get the mixed model of H(curl)-elliptic problem by introducing a new intermediate variable. Then we discuss the continuous variational problem and discrete variational problem, which based on interior penalty discontinuous Galerkin approximation. Next, we…
▽ More
In this paper, we study the convergence of adaptive mixed interior penalty discontinuous Galerkin method for H(curl)-elliptic problems. We first get the mixed model of H(curl)-elliptic problem by introducing a new intermediate variable. Then we discuss the continuous variational problem and discrete variational problem, which based on interior penalty discontinuous Galerkin approximation. Next, we construct the corresponding posteriori error indicator, and prove the contraction of the summation of the energy error and the scaled error indicator. At last, we confirm and illustrate the theoretical result through some numerical experiments.
△ Less
Submitted 3 January, 2023;
originally announced January 2023.
-
Iterative two-level algorithm for nonsymmetric or indefinite elliptic problems
Authors:
Ming Tang,
Xiaoqing Xing,
Ying Yang,
Liuqiang Zhong
Abstract:
In this paper, a new iterative two-level algorithm is presented for solving the finite element discretization for nonsymmetric or indefinite elliptic problems. The iterative two-level algorithm uses the same coarse space as the traditional two-grid algorithm, but its ``fine space'' uses the higher oder finite element space under the coarse grid. Therefore, the iterative two-level algorithm only ne…
▽ More
In this paper, a new iterative two-level algorithm is presented for solving the finite element discretization for nonsymmetric or indefinite elliptic problems. The iterative two-level algorithm uses the same coarse space as the traditional two-grid algorithm, but its ``fine space'' uses the higher oder finite element space under the coarse grid. Therefore, the iterative two-level algorithm only needs one grid, and the computational cost is much lower than the traditional iterative two-grid algorithm. Finally, compared with the traditional two-grid algorithm, numerical experiments show that the computational cost is lower to achieve the same convergence order.
△ Less
Submitted 3 January, 2023;
originally announced January 2023.
-
On the testing of multiple hypothesis in sliced inverse regression
Authors:
Zhigen Zhao,
Xin Xing
Abstract:
We consider the multiple testing of the general regression framework aiming at studying the relationship between a univariate response and a p-dimensional predictor. To test the hypothesis of the effect of each predictor, we construct an Angular Balanced Statistic (ABS) based on the estimator of the sliced inverse regression without assuming a model of the conditional distribution of the response.…
▽ More
We consider the multiple testing of the general regression framework aiming at studying the relationship between a univariate response and a p-dimensional predictor. To test the hypothesis of the effect of each predictor, we construct an Angular Balanced Statistic (ABS) based on the estimator of the sliced inverse regression without assuming a model of the conditional distribution of the response. According to the developed limiting distribution results in this paper, we have shown that ABS is asymptotically symmetric with respect to zero under the null hypothesis. We then propose a Model-free multiple Testing procedure using Angular balanced statistics (MTA) and show theoretically that the false discovery rate of this method is less than or equal to a designated level asymptotically. Numerical evidence has shown that the MTA method is much more powerful than its alternatives, subject to the control of the false discovery rate.
△ Less
Submitted 16 June, 2023; v1 submitted 11 October, 2022;
originally announced October 2022.
-
$H^2-$Corona problem on $δ-$regular domains
Authors:
Bo-Yong Chen,
Xu Xing
Abstract:
We prove an $H^2-$Corona theorem with estimate $C(δ)=Cδ^{-1-q}|\log δ|$ for $δ\ll 1$ on delta-regular domains, where $q=\min\{n,m-1\}$ and $m$ is the number of generators. This class of domains includes smooth bounded domains with defining functions that are plurisubharmonic on boundaries and pseudoconvex domains of D'Angelo finite type.
We prove an $H^2-$Corona theorem with estimate $C(δ)=Cδ^{-1-q}|\log δ|$ for $δ\ll 1$ on delta-regular domains, where $q=\min\{n,m-1\}$ and $m$ is the number of generators. This class of domains includes smooth bounded domains with defining functions that are plurisubharmonic on boundaries and pseudoconvex domains of D'Angelo finite type.
△ Less
Submitted 15 February, 2024; v1 submitted 9 June, 2022;
originally announced June 2022.
-
LAMBDA: Covering the Solution Set of Black-Box Inequality by Search Space Quantization
Authors:
Lihao Liu,
Tianyue Feng,
Xingyu Xing,
Junyi Chen
Abstract:
Black-box functions are broadly used to model complex problems that provide no explicit information but the input and output. Despite existing studies of black-box function optimization, the solution set satisfying an inequality with a black-box function plays a more significant role than only one optimum in many practical situations. Covering as much as possible of the solution set through limite…
▽ More
Black-box functions are broadly used to model complex problems that provide no explicit information but the input and output. Despite existing studies of black-box function optimization, the solution set satisfying an inequality with a black-box function plays a more significant role than only one optimum in many practical situations. Covering as much as possible of the solution set through limited evaluations to the black-box objective function is defined as the Black-Box Coverage (BBC) problem in this paper. We formalized this problem in a sample-based search paradigm and constructed a coverage criterion with Confusion Matrix Analysis. Further, we propose LAMBDA (Latent-Action Monte-Carlo Beam Search with Density Adaption) to solve BBC problems. LAMBDA can focus around the solution set quickly by recursively partitioning the search space into accepted and rejected sub-spaces. Compared with La-MCTS, LAMBDA introduces density information to overcome the sampling bias of optimization and obtain more exploration. Benchmarking shows, LAMBDA achieved state-of-the-art performance among all baselines and was at most 33x faster to get 95% coverage than Random Search. Experiments also demonstrate that LAMBDA has a promising future in the verification of autonomous systems in virtual tests.
△ Less
Submitted 25 March, 2022;
originally announced March 2022.
-
Staggered mesh method for correlation energy calculations of solids: Random phase approximation in direct ring coupled cluster doubles and adiabatic connection formalisms
Authors:
Xin Xing,
Lin Lin
Abstract:
We propose a staggered mesh method for correlation energy calculations of periodic systems under the random phase approximation (RPA), which generalizes the recently developed staggered mesh method for periodic second order Møller-Plesset perturbation theory (MP2) calculations [Xing, Li, Lin, JCTC 2021]. Compared to standard RPA calculations, the staggered mesh method introduces negligible additio…
▽ More
We propose a staggered mesh method for correlation energy calculations of periodic systems under the random phase approximation (RPA), which generalizes the recently developed staggered mesh method for periodic second order Møller-Plesset perturbation theory (MP2) calculations [Xing, Li, Lin, JCTC 2021]. Compared to standard RPA calculations, the staggered mesh method introduces negligible additional computational cost. It avoids a significant portion of the finite-size error, and can be asymptotically advantageous for quasi-1D systems and certain quasi-2D and 3D systems with high symmetries. We demonstrate the applicability of the method using two different formalisms: the direct ring coupled cluster doubles (drCCD) theory, and the adiabatic-connection (AC) fluctuation-dissipation theory. In the drCCD formalism, the second order screened exchange (SOSEX) correction can also be readily obtained using the staggered mesh method. In the AC formalism, the staggered mesh method naturally avoids the need of performing "head/wing" corrections to the dielectric operator. The effectiveness of the staggered mesh method for insulating systems is theoretically justified by investigating the finite-size error of each individual perturbative term in the RPA correlation energy, expanded as an infinite series of terms associated with ring diagrams. As a side contribution, our analysis provides a proof that the finite-size error of each perturbative term of standard RPA and SOSEX calculations scales as $\mathcal{O}(N_{\mathbf{k}}^{-1})$, where $N_{\mathbf{k}}$ is the number of grid points in a Monkhorst-Pack mesh.
△ Less
Submitted 9 June, 2022; v1 submitted 25 September, 2021;
originally announced September 2021.
-
Unified analysis of finite-size error for periodic Hartree-Fock and second order Møller-Plesset perturbation theory
Authors:
Xin Xing,
Xiaoxu Li,
Lin Lin
Abstract:
Despite decades of practice, finite-size errors in many widely used electronic structure theories for periodic systems remain poorly understood. For periodic systems using a general Monkhorst-Pack grid, there has been no comprehensive and rigorous analysis of the finite-size error in the Hartree-Fock theory (HF) and the second order Møller-Plesset perturbation theory (MP2), which are the simplest…
▽ More
Despite decades of practice, finite-size errors in many widely used electronic structure theories for periodic systems remain poorly understood. For periodic systems using a general Monkhorst-Pack grid, there has been no comprehensive and rigorous analysis of the finite-size error in the Hartree-Fock theory (HF) and the second order Møller-Plesset perturbation theory (MP2), which are the simplest wavefunction based method, and the simplest post-Hartree-Fock method, respectively. Such calculations can be viewed as a multi-dimensional integral discretized with certain trapezoidal rules. Due to the Coulomb singularity, the integrand has many points of discontinuity in general, and standard error analysis based on the Euler-Maclaurin formula gives overly pessimistic results. The lack of analytic understanding of finite-size errors also impedes the development of effective finite-size correction schemes. We propose a unified analysis to obtain sharp convergence rates of finite-size errors for the periodic HF and MP2 theories. Our main technical advancement is a generalization of the result of [Lyness, 1976] for obtaining sharp convergence rates of the trapezoidal rule for a class of non-smooth integrands. Our result is applicable to three-dimensional bulk systems as well as low dimensional systems (such as nanowires and 2D materials). Our unified analysis also allows us to prove the effectiveness of the Madelung-constant correction to the Fock exchange energy, and the effectiveness of a recently proposed staggered mesh method for periodic MP2 calculations [Xing, Li, Lin, J. Chem. Theory Comput. 2021]. Our analysis connects the effectiveness of the staggered mesh method with integrands with removable singularities, and suggests a new staggered mesh method for reducing finite-size errors of periodic HF calculations.
△ Less
Submitted 15 November, 2023; v1 submitted 31 July, 2021;
originally announced August 2021.
-
Boundary behavior of the Szegö kernel
Authors:
Jujie Wu,
Xu Xing
Abstract:
We give a Hörmander-type localization principle for the Szegö kernel $S_Ω(z)$. We also show that for each boundary point $z_0$, $S_Ω(z)\gtrsim|z-z_0|^{-\frac{1}{3}}$ holds non-tangentially for any bounded pseudoconvex domain with smooth boundary in ${\mathbb C}^2$.
We give a Hörmander-type localization principle for the Szegö kernel $S_Ω(z)$. We also show that for each boundary point $z_0$, $S_Ω(z)\gtrsim|z-z_0|^{-\frac{1}{3}}$ holds non-tangentially for any bounded pseudoconvex domain with smooth boundary in ${\mathbb C}^2$.
△ Less
Submitted 6 June, 2021;
originally announced June 2021.
-
Staggered mesh method for correlation energy calculations of solids: Second order Møller-Plesset perturbation theory
Authors:
Xin Xing,
Xiaoxu Li,
Lin Lin
Abstract:
The calculation of the MP2 correlation energy for extended systems can be viewed as a multi-dimensional integral in the thermodynamic limit, and the standard method for evaluating the MP2 energy can be viewed as a trapezoidal quadrature scheme. We demonstrate that existing analysis neglects certain contributions due to the non-smoothness of the integrand, and may significantly underestimate finite…
▽ More
The calculation of the MP2 correlation energy for extended systems can be viewed as a multi-dimensional integral in the thermodynamic limit, and the standard method for evaluating the MP2 energy can be viewed as a trapezoidal quadrature scheme. We demonstrate that existing analysis neglects certain contributions due to the non-smoothness of the integrand, and may significantly underestimate finite-size errors. We propose a new staggered mesh method, which uses two staggered Monkhorst-Pack meshes for occupied and virtual orbitals, respectively, to compute the MP2 energy. The staggered mesh method circumvents a significant error source in the standard method, in which certain quadrature nodes are always placed on points where the integrand is discontinuous. One significant advantage of the proposed method is that there are no tunable parameters, and the additional numerical effort needed can be negligible compared to the standard MP2 calculation. Numerical results indicate that the staggered mesh method can be particularly advantageous for quasi-1D systems, as well as quasi-2D and 3D systems with certain symmetries.
△ Less
Submitted 20 May, 2021; v1 submitted 18 February, 2021;
originally announced February 2021.
-
The Adaptive Dynamic Programming Toolbox
Authors:
Xiaowei Xing,
Dong Eui Chang
Abstract:
The paper develops the Adaptive Dynamic Programming Toolbox (ADPT), which solves optimal control problems for continuous-time nonlinear systems. Based on the adaptive dynamic programming technique, the ADPT computes optimal feedback controls from the system dynamics in the model-based working mode, or from measurements of trajectories of the system in the model-free working mode without the requir…
▽ More
The paper develops the Adaptive Dynamic Programming Toolbox (ADPT), which solves optimal control problems for continuous-time nonlinear systems. Based on the adaptive dynamic programming technique, the ADPT computes optimal feedback controls from the system dynamics in the model-based working mode, or from measurements of trajectories of the system in the model-free working mode without the requirement of knowledge of the system model. Multiple options are provided such that the ADPT can accommodate various customized circumstances. Compared to other popular software toolboxes for optimal control, the ADPT enjoys its computational precision and speed, which is illustrated with its applications to a satellite attitude control problem.
△ Less
Submitted 29 December, 2020;
originally announced December 2020.
-
Efficient construction of an HSS preconditioner for symmetric positive definite $\mathcal{H}^2$ matrices
Authors:
Xin Xing,
Hua Huang,
Edmond Chow
Abstract:
In an iterative approach for solving linear systems with ill-conditioned, symmetric positive definite (SPD) kernel matrices, both fast matrix-vector products and fast preconditioning operations are required. Fast (linear-scaling) matrix-vector products are available by expressing the kernel matrix in an $\mathcal{H}^2$ representation or an equivalent fast multipole method representation. Precondit…
▽ More
In an iterative approach for solving linear systems with ill-conditioned, symmetric positive definite (SPD) kernel matrices, both fast matrix-vector products and fast preconditioning operations are required. Fast (linear-scaling) matrix-vector products are available by expressing the kernel matrix in an $\mathcal{H}^2$ representation or an equivalent fast multipole method representation. Preconditioning such matrices, however, requires a structured matrix approximation that is more regular than the $\mathcal{H}^2$ representation, such as the hierarchically semiseparable (HSS) matrix representation, which provides fast solve operations. Previously, an algorithm was presented to construct an HSS approximation to an SPD kernel matrix that is guaranteed to be SPD. However, this algorithm has quadratic cost and was only designed for recursive binary partitionings of the points defining the kernel matrix. This paper presents a general algorithm for constructing an SPD HSS approximation. Importantly, the algorithm uses the $\mathcal{H}^2$ representation of the SPD matrix to reduce its computational complexity from quadratic to quasilinear. Numerical experiments illustrate how this SPD HSS approximation performs as a preconditioner for solving linear systems arising from a range of kernel functions.
△ Less
Submitted 11 January, 2021; v1 submitted 15 November, 2020;
originally announced November 2020.
-
Asymptotic Analysis of Sampling Estimators for Randomized Numerical Linear Algebra Algorithms
Authors:
** Ma,
Xinlian Zhang,
Xin Xing,
**gyi Ma,
Michael W. Mahoney
Abstract:
The statistical analysis of Randomized Numerical Linear Algebra (RandNLA) algorithms within the past few years has mostly focused on their performance as point estimators. However, this is insufficient for conducting statistical inference, e.g., constructing confidence intervals and hypothesis testing, since the distribution of the estimator is lacking. In this article, we develop an asymptotic an…
▽ More
The statistical analysis of Randomized Numerical Linear Algebra (RandNLA) algorithms within the past few years has mostly focused on their performance as point estimators. However, this is insufficient for conducting statistical inference, e.g., constructing confidence intervals and hypothesis testing, since the distribution of the estimator is lacking. In this article, we develop an asymptotic analysis to derive the distribution of RandNLA sampling estimators for the least-squares problem. In particular, we derive the asymptotic distribution of a general sampling estimator with arbitrary sampling probabilities. The analysis is conducted in two complementary settings, i.e., when the objective of interest is to approximate the full sample estimator or is to infer the underlying ground truth model parameters. For each setting, we show that the sampling estimator is asymptotically normally distributed under mild regularity conditions. Moreover, the sampling estimator is asymptotically unbiased in both settings. Based on our asymptotic analysis, we use two criteria, the Asymptotic Mean Squared Error (AMSE) and the Expected Asymptotic Mean Squared Error (EAMSE), to identify optimal sampling probabilities. Several of these optimal sampling probability distributions are new to the literature, e.g., the root leverage sampling estimator and the predictor length sampling estimator. Our theoretical results clarify the role of leverage in the sampling process, and our empirical results demonstrate improvements over existing methods.
△ Less
Submitted 24 February, 2020;
originally announced February 2020.
-
Butterfly factorization via randomized matrix-vector multiplications
Authors:
Yang Liu,
Xin Xing,
Han Guo,
Eric Michielssen,
Pieter Ghysels,
Xiaoye Sherry Li
Abstract:
This paper presents an adaptive randomized algorithm for computing the butterfly factorization of a $m\times n$ matrix with $m\approx n$ provided that both the matrix and its transpose can be rapidly applied to arbitrary vectors. The resulting factorization is composed of $O(\log n)$ sparse factors, each containing $O(n)$ nonzero entries. The factorization can be attained using $O(n^{3/2}\log n)$…
▽ More
This paper presents an adaptive randomized algorithm for computing the butterfly factorization of a $m\times n$ matrix with $m\approx n$ provided that both the matrix and its transpose can be rapidly applied to arbitrary vectors. The resulting factorization is composed of $O(\log n)$ sparse factors, each containing $O(n)$ nonzero entries. The factorization can be attained using $O(n^{3/2}\log n)$ computation and $O(n\log n)$ memory resources. The proposed algorithm applies to matrices with strong and weak admissibility conditions arising from surface integral equation solvers with a rigorous error bound, and is implemented in parallel.
△ Less
Submitted 9 February, 2020;
originally announced February 2020.
-
Minimax Nonparametric Two-sample Test under Smoothing
Authors:
Xin Xing,
Zuofeng Shang,
Pang Du,
** Ma,
Wenxuan Zhong,
Jun S. Liu
Abstract:
We consider the problem of comparing probability densities between two groups. A new probabilistic tensor product smoothing spline framework is developed to model the joint density of two variables. Under such a framework, the probability density comparison is equivalent to testing the presence/absence of interactions. We propose a penalized likelihood ratio test for such interaction testing and s…
▽ More
We consider the problem of comparing probability densities between two groups. A new probabilistic tensor product smoothing spline framework is developed to model the joint density of two variables. Under such a framework, the probability density comparison is equivalent to testing the presence/absence of interactions. We propose a penalized likelihood ratio test for such interaction testing and show that the test statistic is asymptotically chi-square distributed under the null hypothesis. Furthermore, we derive a sharp minimax testing rate based on the Bernstein width for nonparametric two-sample tests and show that our proposed test statistics is minimax optimal. In addition, a data-adaptive tuning criterion is developed to choose the penalty parameter. Simulations and real applications demonstrate that the proposed test outperforms the conventional approaches under various scenarios.
△ Less
Submitted 11 January, 2021; v1 submitted 5 November, 2019;
originally announced November 2019.
-
An efficient method for block low-rank approximations for kernel matrix systems
Authors:
Xin Xing,
Edmond Chow
Abstract:
In the iterative solution of dense linear systems from boundary integral equations or systems involving kernel matrices, the main challenges are the expensive matrix-vector multiplication and the storage cost which are usually tackled by hierarchical matrix techniques such as $\mathcal{H}$ and $\mathcal{H}^2$ matrices. However, hierarchical matrices also have a high construction cost that is domin…
▽ More
In the iterative solution of dense linear systems from boundary integral equations or systems involving kernel matrices, the main challenges are the expensive matrix-vector multiplication and the storage cost which are usually tackled by hierarchical matrix techniques such as $\mathcal{H}$ and $\mathcal{H}^2$ matrices. However, hierarchical matrices also have a high construction cost that is dominated by the low-rank approximations of the sub-blocks of the kernel matrix. In this paper, an efficient method is proposed to give a low-rank approximation of the kernel matrix block $K(X_0, Y_0)$ in the form of an interpolative decomposition (ID) for a kernel function $K(x,y)$ and two properly located point sets $X_0, Y_0$. The proposed method combines the ID using strong rank-revealing QR (sRRQR), which is purely algebraic, with analytic kernel information to reduce the construction cost of a rank-$r$ approximation from $O(r|X_0||Y_0|)$, for ID using sRRQR alone, to $O(r|X_0|)$ which is not related to $|Y_0|$. Numerical experiments show that $\mathcal{H}^2$ matrix construction with the proposed algorithm only requires a computational cost linear in the matrix dimension.
△ Less
Submitted 9 November, 2018;
originally announced November 2018.
-
Error analysis of an accelerated interpolative decomposition for 3D Laplace problems
Authors:
Xin Xing,
Edmond Chow
Abstract:
In constructing the $\mathcal{H}^2$ representation of dense matrices defined by the Laplace kernel, the interpolative decomposition of certain off-diagonal submatrices that dominates the computation can be dramatically accelerated using the concept of a proxy surface. We refer to the computation of such interpolative decompositions as the proxy surface method. We present an error bound for the pro…
▽ More
In constructing the $\mathcal{H}^2$ representation of dense matrices defined by the Laplace kernel, the interpolative decomposition of certain off-diagonal submatrices that dominates the computation can be dramatically accelerated using the concept of a proxy surface. We refer to the computation of such interpolative decompositions as the proxy surface method. We present an error bound for the proxy surface method in the 3D case and thus provide theoretical guidance for the discretization of the proxy surface in the method.
△ Less
Submitted 31 October, 2018;
originally announced November 2018.
-
Optimal Dividend and Investment Problems under Sparre Andersen Model
Authors:
Lihua Bai,
** Ma,
Xiao**g Xing
Abstract:
In this paper we study a class of optimal dividend and investment problems assuming that the underlying reserve process follows the Sparre Andersen model, that is, the claim frequency is a "renewal" process, rather than a standard compound Poisson process. The main feature of such problems is that the underlying reserve dynamics, even in its simplest form, is no longer Markovian. By using the back…
▽ More
In this paper we study a class of optimal dividend and investment problems assuming that the underlying reserve process follows the Sparre Andersen model, that is, the claim frequency is a "renewal" process, rather than a standard compound Poisson process. The main feature of such problems is that the underlying reserve dynamics, even in its simplest form, is no longer Markovian. By using the backward Markovization technique we recast the problem in a Markovian framework with expanded dimension representing the time elapsed after the last claim, with which we investigate the regularity of the value function, and validate the dynamic programming principle. Furthermore, we show that the value function is the unique constrained viscosity solution} to the associated HJB equation on a cylindrical domain on which the problem is well-defined.
△ Less
Submitted 3 July, 2016;
originally announced July 2016.