-
A Constrained Least-Squares Ghost Sample Points (CLS-GSP) Method for Differential Operators on Point Clouds
Authors:
Ningchen Ying,
Kwunlun Chu,
Shingyu Leung
Abstract:
We introduce a novel meshless method called the Constrained Least-Squares Ghost Sample Points (CLS-GSP) method for solving partial differential equations on irregular domains or manifolds represented by randomly generated sample points. Our approach involves two key innovations. Firstly, we locally reconstruct the underlying function using a linear combination of radial basis functions centered at…
▽ More
We introduce a novel meshless method called the Constrained Least-Squares Ghost Sample Points (CLS-GSP) method for solving partial differential equations on irregular domains or manifolds represented by randomly generated sample points. Our approach involves two key innovations. Firstly, we locally reconstruct the underlying function using a linear combination of radial basis functions centered at a set of carefully chosen \textit{ghost sample points} that are independent of the point cloud samples. Secondly, unlike conventional least-squares methods, which minimize the sum of squared differences from all sample points, we regularize the local reconstruction by imposing a hard constraint to ensure that the least-squares approximation precisely passes through the center. This simple yet effective constraint significantly enhances the diagonal dominance and conditioning of the resulting differential matrix. We provide analytical proofs demonstrating that our method consistently estimates the exact Laplacian. Additionally, we present various numerical examples showcasing the effectiveness of our proposed approach in solving the Laplace/Poisson equation and related eigenvalue problems.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Decoupled Structure-Preserving Doubling Algorithm with Truncation for Large-Scale Algebraic Riccati Equations
Authors:
Zhen-Chen Guo,
Eric King-Wah Chu,
Xin Liang,
Wen-Wei Lin
Abstract:
In \emph{Guo et al, arXiv:2005.08288}, we propose a decoupled form of the structure-preserving doubling algorithm (dSDA). The method decouples the original two to four coupled recursions, enabling it to solve large-scale algebraic Riccati equations and other related problems. In this paper, we consider the numerical computations of the novel dSDA for solving large-scale continuous-time algebraic R…
▽ More
In \emph{Guo et al, arXiv:2005.08288}, we propose a decoupled form of the structure-preserving doubling algorithm (dSDA). The method decouples the original two to four coupled recursions, enabling it to solve large-scale algebraic Riccati equations and other related problems. In this paper, we consider the numerical computations of the novel dSDA for solving large-scale continuous-time algebraic Riccati equations with low-rank structures (thus possessing numerically low-rank solutions). With the help of a new truncation strategy, the rank of the approximate solution is controlled. Consequently, large-scale problems can be treated efficiently. Illustrative numerical examples are presented to demonstrate and confirm our claims.
△ Less
Submitted 3 November, 2020;
originally announced November 2020.
-
Highly accurate decoupled doubling algorithm for large-scale M-matrix algebraic Riccati equations
Authors:
Zhen-Chen Guo,
Eric King-wah Chu,
Xin Liang
Abstract:
We consider the numerical solution of large-scale M-matrix algebraic Riccati equations with low-rank structures. We derive a new doubling iteration, decoupling the four original iteration formulae in the alternating-directional doubling algorithm. We prove that the kernels in the decoupled algorithm are small M-matrices. Illumined by the highly accurate algorithm proposed by Xue and Li in 2017, we…
▽ More
We consider the numerical solution of large-scale M-matrix algebraic Riccati equations with low-rank structures. We derive a new doubling iteration, decoupling the four original iteration formulae in the alternating-directional doubling algorithm. We prove that the kernels in the decoupled algorithm are small M-matrices. Illumined by the highly accurate algorithm proposed by Xue and Li in 2017, we construct the triplet representations for the small M-matrix kernels in a highly accurate doubling algorithm. Illustrative numerical examples will be presented on the efficiency of our algorithm.
△ Less
Submitted 7 December, 2020; v1 submitted 1 November, 2020;
originally announced November 2020.
-
A decoupled form of the structure-preserving doubling algorithm with low-rank structures
Authors:
Zhen-Chen Guo,
Eric King-Wah Chu,
Xin Liang,
Wen-Wei Lin
Abstract:
The structure-preserving doubling algorithm (SDA) is a fairly efficient method for solving problems closely related to Hamiltonian (or Hamiltonian-like) matrices, such as computing the required solutions to algebraic Riccati equations. However, for large-scale problems in $\mathbb{C}^n$ (also $\mathbb{R}^n$), the SDA with an $O(n^3)$ computational complexity does not work well. In this paper, we p…
▽ More
The structure-preserving doubling algorithm (SDA) is a fairly efficient method for solving problems closely related to Hamiltonian (or Hamiltonian-like) matrices, such as computing the required solutions to algebraic Riccati equations. However, for large-scale problems in $\mathbb{C}^n$ (also $\mathbb{R}^n$), the SDA with an $O(n^3)$ computational complexity does not work well. In this paper, we propose a new decoupled form of the SDA (we name it as dSDA), building on the associated Krylov subspaces thus leading to the inherent low-rank structures. Importantly, the approach decouples the original two to four iteration formulae. The resulting dSDA is much more efficient since only one quantity (instead of the original two to four) is computed iteratively. For large-scale problems, further efficiency is gained from the low-rank structures. This paper presents the theoretical aspects of the dSDA. A practical algorithm dSDA t with truncation and many illustrative numerical results will appear in a second paper.
△ Less
Submitted 17 May, 2020;
originally announced May 2020.
-
A Twist of a Ramanujan Identity
Authors:
Hung Viet Chu,
Lan Khanh Chu
Abstract:
Ramanujan wrote the following identity \begin{align*} \sqrt{2 \left(1 - \frac{1}{3^2}\right) \left(1 - \frac{1}{7^2}\right) \left(1 - \frac{1}{11^2}\right) \left(1 - \frac{1}{19^2}\right)} \ = \
\left(1 + \frac{1}{7}\right) \left(1 + \frac{1}{11}\right) \left(1 + \frac{1}{19}\right), \end{align*} on which Berndt asked "Is this an isolated result, or are there other identities of this type?". Reb…
▽ More
Ramanujan wrote the following identity \begin{align*} \sqrt{2 \left(1 - \frac{1}{3^2}\right) \left(1 - \frac{1}{7^2}\right) \left(1 - \frac{1}{11^2}\right) \left(1 - \frac{1}{19^2}\right)} \ = \
\left(1 + \frac{1}{7}\right) \left(1 + \frac{1}{11}\right) \left(1 + \frac{1}{19}\right), \end{align*} on which Berndt asked "Is this an isolated result, or are there other identities of this type?". Rebák provided formulas that generate many similar identities and believed that the curious identity is related to the reciprocal of the Landau-Ramanujan constant. In a previous work, Chu examined necessary and sufficient conditions for the integers in the identity and proved that there are only finitely many such identities. In this note, we twist the identity to have infinitely many Ramanujan-type identities.
△ Less
Submitted 14 January, 2020;
originally announced January 2020.
-
Doubling algorithm for the discretized Bethe-Salpeter eigenvalue problem
Authors:
Zhen-Chen Guo,
Eric King-Wah Chu,
Wen-Wei Lin
Abstract:
The discretized Bethe-Salpeter eigenvalue problem arises in the Green's function evaluation in many body physics and quantum chemistry. Discretization leads to a matrix eigenvalue problem for $H \in \mathbb{C}^{2n\times 2n}$ with a Hamiltonian-like structure. After an appropriate transformation of $H$ to a standard symplectic form, the structure-preserving doubling algorithm, originally for algebr…
▽ More
The discretized Bethe-Salpeter eigenvalue problem arises in the Green's function evaluation in many body physics and quantum chemistry. Discretization leads to a matrix eigenvalue problem for $H \in \mathbb{C}^{2n\times 2n}$ with a Hamiltonian-like structure. After an appropriate transformation of $H$ to a standard symplectic form, the structure-preserving doubling algorithm, originally for algebraic Riccati equations, is extended for the discretized Bethe-Salpeter eigenvalue problem. Potential breakdowns of the algorithm, due to the ill condition or singularity of certain matrices, can be avoided with a double-Cayley transform or a three-recursion remedy. A detailed convergence analysis is conducted for the proposed algorithm, especially on the benign effects of the double-Cayley transform. Numerical results are presented to demonstrate the efficiency and structure-preserving nature of the algorithm.
△ Less
Submitted 3 January, 2018;
originally announced January 2018.
-
Backward Errors and Small Sample Condition Estimation for $\star$-Sylveter Equations
Authors:
Huai-An Diao,
Hong Yan,
Eric King-wah Chu
Abstract:
In this paper, we adopt a componentwise perturbation analysis for $\star$-Sylvester equations. Based on the small condition estimation (SCE), we devise the algorithms to estimate normwise, mixed and componentwise condition numbers for $\star$-Sylvester equations. We also define a componentwise backward error with a sharp and easily computable bound. Numerical examples illustrate that our algorithm…
▽ More
In this paper, we adopt a componentwise perturbation analysis for $\star$-Sylvester equations. Based on the small condition estimation (SCE), we devise the algorithms to estimate normwise, mixed and componentwise condition numbers for $\star$-Sylvester equations. We also define a componentwise backward error with a sharp and easily computable bound. Numerical examples illustrate that our algorithm under componentwise perturbations produces reliable estimates, and the new derived computable bound for the componentwise backward error is sharp and reliable for well conditioned and moderate ill-conditioned $\star$-Sylvester equations under large or small perturbations.
△ Less
Submitted 14 July, 2016; v1 submitted 4 July, 2016;
originally announced July 2016.
-
Classification of Flat Virtual Pure Tangles
Authors:
Karene Chu
Abstract:
Virtual knot theory, introduced by Kauffman, is a generalization of classical knot theory of interest because its finite-type invariant theory is potentially a topological interpretation of Etingof and Kazhdan's theory of quantization of Lie bi-algebras. Classical knots inject into virtual knots, and flat virtual knots is the quotient of virtual knots which equates the real positive and negative c…
▽ More
Virtual knot theory, introduced by Kauffman, is a generalization of classical knot theory of interest because its finite-type invariant theory is potentially a topological interpretation of Etingof and Kazhdan's theory of quantization of Lie bi-algebras. Classical knots inject into virtual knots, and flat virtual knots is the quotient of virtual knots which equates the real positive and negative crossings, and in this sense is complementary to classical knot theory within virtual knot theory.
We completely classify flat virtual tangles with no closed components (pure tangles). This classification can be used as an invariant on virtual pure tangles and virtual braids.
△ Less
Submitted 20 September, 2012;
originally announced September 2012.
-
Boosting the Accuracy of Finite Difference Schemes via Optimal Time Step Selection and Non-Iterative Defect Correction
Authors:
Kevin T. Chu
Abstract:
In this article, we present a simple technique for boosting the order of accuracy of finite difference schemes for time dependent partial differential equations by optimally selecting the time step used to advance the numerical solution and adding defect correction terms in a non-iterative manner. The power of the technique is its ability to extract as much accuracy as possible from existing fin…
▽ More
In this article, we present a simple technique for boosting the order of accuracy of finite difference schemes for time dependent partial differential equations by optimally selecting the time step used to advance the numerical solution and adding defect correction terms in a non-iterative manner. The power of the technique is its ability to extract as much accuracy as possible from existing finite difference schemes with minimal additional effort. Through straightforward numerical analysis arguments, we explain the origin of the boost in accuracy and estimate the computational cost of the resulting numerical method. We demonstrate the utility of optimal time step (OTS) selection combined with non-iterative defect correction (NIDC) on several different types of finite difference schemes for a wide array of classical linear and semilinear PDEs in one and more space dimensions on both regular and irregular domains.
△ Less
Submitted 25 May, 2009; v1 submitted 18 November, 2008;
originally announced November 2008.
-
On the Geometry of the Moduli Space of Real Binary Octics
Authors:
Kenneth C. K. Chu
Abstract:
The moduli space of smooth real binary octics has five connected components. They parametrize the real binary octics whose defining equations have 0, 1, ..., 4 complex-conjugate pairs of roots respectively. We show that the GIT-stable completion of each of these five components admits the structure of an arithmetic real hyperbolic orbifold. The corresponding monodromy groups are, up to commensur…
▽ More
The moduli space of smooth real binary octics has five connected components. They parametrize the real binary octics whose defining equations have 0, 1, ..., 4 complex-conjugate pairs of roots respectively. We show that the GIT-stable completion of each of these five components admits the structure of an arithmetic real hyperbolic orbifold. The corresponding monodromy groups are, up to commensurability, discrete hyperbolic reflection groups, and their Vinberg diagrams are computed. We conclude with a simple proof that the moduli space of GIT-stable real binary octics itself cannot be a real hyperbolic orbifold.
△ Less
Submitted 2 August, 2007;
originally announced August 2007.
-
A Direct Matrix Method for Computing Analytical Jacobians of Discretized Nonlinear Integro-differential Equations
Authors:
Kevin T. Chu
Abstract:
In this pedagogical article, we present a simple direct matrix method for analytically computing the Jacobian of nonlinear algebraic equations that arise from the discretization of nonlinear integro-differential equations. The method is based on a formulation of the discretized equations in vector form using only matrix-vector products and component-wise operations. By applying simple matrix-bas…
▽ More
In this pedagogical article, we present a simple direct matrix method for analytically computing the Jacobian of nonlinear algebraic equations that arise from the discretization of nonlinear integro-differential equations. The method is based on a formulation of the discretized equations in vector form using only matrix-vector products and component-wise operations. By applying simple matrix-based differentiation rules, the matrix form of the analytical Jacobian can be calculated with little more difficulty than that required when computing derivatives in single-variable calculus. After describing the direct matrix method, we present numerical experiments demonstrating the computational performance of the method, discuss its connection to the Newton-Kantorovich method, and apply it to illustrative 1D and 2D example problems. MATLAB code is provided to demonstrate the low code complexity required by the method.
△ Less
Submitted 10 December, 2008; v1 submitted 5 February, 2007;
originally announced February 2007.
-
A Variational Level Set Approach for Surface Area Minimization of Triply Periodic Surfaces
Authors:
Youngjean Jung,
Kevin T. Chu,
Salvatore Torquato
Abstract:
In this paper, we study triply periodic surfaces with minimal surface area under a constraint in the volume fraction of the regions (phases) that the surface separates. Using a variational level set method formulation, we present a theoretical characterization of and a numerical algorithm for computing these surfaces. We use our theoretical and computational formulation to study the optimality o…
▽ More
In this paper, we study triply periodic surfaces with minimal surface area under a constraint in the volume fraction of the regions (phases) that the surface separates. Using a variational level set method formulation, we present a theoretical characterization of and a numerical algorithm for computing these surfaces. We use our theoretical and computational formulation to study the optimality of the Schwartz P, Schwartz D, and Schoen G surfaces when the volume fractions of the two phases are equal and explore the properties of optimal structures when the volume fractions of the two phases not equal. Due to the computational cost of the fully, three-dimensional shape optimization problem, we implement our numerical simulations using a parallel level set method software package.
△ Less
Submitted 14 June, 2006;
originally announced June 2006.
