-
Vague Knowledge: Evidence from Analyst Reports
Authors:
Kerry Xiao,
Amy Zang
Abstract:
People in the real world often possess vague knowledge of future payoffs, for which quantification is not feasible or desirable. We argue that language, with differing ability to convey vague information, plays an important but less-known role in representing subjective expectations. Empirically, we find that in their reports, analysts include useful information in linguistic expressions but not n…
▽ More
People in the real world often possess vague knowledge of future payoffs, for which quantification is not feasible or desirable. We argue that language, with differing ability to convey vague information, plays an important but less-known role in representing subjective expectations. Empirically, we find that in their reports, analysts include useful information in linguistic expressions but not numerical forecasts. Specifically, the textual tone of analyst reports has predictive power for forecast errors and subsequent revisions in numerical forecasts, and this relation becomes stronger when analyst's language is vaguer, when uncertainty is higher, and when analysts are busier. Overall, our theory and evidence suggest that some useful information is vaguely known and only communicated through language.
△ Less
Submitted 24 May, 2025; v1 submitted 18 May, 2025;
originally announced May 2025.
-
Commutative algebra-enhanced topological data analysis
Authors:
Chuanshen Hu,
Yu Wang,
Kelin Xia,
Ke Ye,
Yipeng Zhang
Abstract:
Topological Data Analysis (TDA) combines computational topology and data science to extract and analyze intrinsic topological and geometric structures in data set in a metric space. While the persistent homology (PH), a widely used tool in TDA, which tracks the lifespan information of topological features through a filtration process, has shown its effectiveness in applications,it is inherently li…
▽ More
Topological Data Analysis (TDA) combines computational topology and data science to extract and analyze intrinsic topological and geometric structures in data set in a metric space. While the persistent homology (PH), a widely used tool in TDA, which tracks the lifespan information of topological features through a filtration process, has shown its effectiveness in applications,it is inherently limited in homotopy invariants and overlooks finer geometric and combinatorial details. To bridge this gap, we introduce two novel commutative algebra-based frameworks which extend beyond homology by incorporating tools from computational commutative algebra : (1) \emph{the persistent ideals} derived from the decomposition of algebraic objects associated to simplicial complexes, like those in theory of edge ideals and Stanley--Reisner ideals, which will provide new commutative algebra-based barcodes and offer a richer characterization of topological and geometric structures in filtrations.(2)\emph{persistent chain complex of free modules} associated with traditional persistent simplicial complex by labelling each chain in the chain complex of the persistent simplicial complex with elements in a commutative ring, which will enable us to detect local information of the topology via some pure algebraic operations. \emph{Crucially, both of the two newly-established framework can recover topological information got from conventional PH and will give us more information.} Therefore, they provide new insights in computational topology, computational algebra and data science.
△ Less
Submitted 12 April, 2025;
originally announced April 2025.
-
A Physics-informed Sheaf Model
Authors:
Chuan-Shen Hu,
Xiang Liu,
Kelin Xia
Abstract:
Normal mode analysis (NMA) provides a mathematical framework for exploring the intrinsic global dynamics of molecules through the definition of an energy function, where normal modes correspond to the eigenvectors of the Hessian matrix derived from the second derivatives of this function. The energy required to 'trigger' each normal mode is proportional to the square of its eigenvalue, with six ze…
▽ More
Normal mode analysis (NMA) provides a mathematical framework for exploring the intrinsic global dynamics of molecules through the definition of an energy function, where normal modes correspond to the eigenvectors of the Hessian matrix derived from the second derivatives of this function. The energy required to 'trigger' each normal mode is proportional to the square of its eigenvalue, with six zero-eigenvalue modes representing universal translation and rotation, common to all molecular systems. In contrast, modes associated with small non-zero eigenvalues are more easily excited by external forces and are thus closely related to molecular functions. Inspired by the anisotropic network model (ANM), this work establishes a novel connection between normal mode analysis and sheaf theory by introducing a cellular sheaf structure, termed the anisotropic sheaf, defined on undirected, simple graphs, and identifying the conventional Hessian matrix as the sheaf Laplacian. By interpreting the global section space of the anisotropic sheaf as the kernel of the Laplacian matrix, we demonstrate a one-to-one correspondence between the zero-eigenvalue-related normal modes and a basis for the global section space. We further analyze the dimension of this global section space, representing the space of harmonic signals, under conditions typically considered in normal mode analysis. Additionally, we propose a systematic method to streamline the Delaunay triangulation-based construction for more efficient graph generation while preserving the ideal number of normal modes with zero eigenvalues in ANM analysis.
△ Less
Submitted 26 December, 2024;
originally announced January 2025.
-
A cohomology-based Gromov-Hausdorff metric approach for quantifying molecular similarity
Authors:
JunJie Wee,
Xue Gong,
Wilderich Tuschmann,
Kelin Xia
Abstract:
We introduce, for the first time, a cohomology-based Gromov-Hausdorff ultrametric method to analyze 1-dimensional and higher-dimensional (co)homology groups, focusing on loops, voids, and higher-dimensional cavity structures in simplicial complexes, to address typical clustering questions arising in molecular data analysis. The Gromov-Hausdorff distance quantifies the dissimilarity between two met…
▽ More
We introduce, for the first time, a cohomology-based Gromov-Hausdorff ultrametric method to analyze 1-dimensional and higher-dimensional (co)homology groups, focusing on loops, voids, and higher-dimensional cavity structures in simplicial complexes, to address typical clustering questions arising in molecular data analysis. The Gromov-Hausdorff distance quantifies the dissimilarity between two metric spaces. In this framework, molecules are represented as simplicial complexes, and their cohomology vector spaces are computed to capture intrinsic topological invariants encoding loop and cavity structures. These vector spaces are equipped with a suitable distance measure, enabling the computation of the Gromov-Hausdorff ultrametric to evaluate structural dissimilarities. We demonstrate the methodology using organic-inorganic halide perovskite (OIHP) structures. The results highlight the effectiveness of this approach in clustering various molecular structures. By incorporating geometric information, our method provides deeper insights compared to traditional persistent homology techniques.
△ Less
Submitted 25 February, 2025; v1 submitted 21 November, 2024;
originally announced November 2024.
-
Quotient complex (QC)-based machine learning for 2D perovskite design
Authors:
Chuan-Shen Hu,
Rishikanta Mayengbam,
Kelin Xia,
Tze Chien Sum
Abstract:
With remarkable stability and exceptional optoelectronic properties, two-dimensional (2D) halide layered perovskites hold immense promise for revolutionizing photovoltaic technology. Presently, inadequate representations have substantially impeded the design and discovery of 2D perovskites. In this context, we introduce a novel computational topology framework termed the quotient complex (QC), whi…
▽ More
With remarkable stability and exceptional optoelectronic properties, two-dimensional (2D) halide layered perovskites hold immense promise for revolutionizing photovoltaic technology. Presently, inadequate representations have substantially impeded the design and discovery of 2D perovskites. In this context, we introduce a novel computational topology framework termed the quotient complex (QC), which serves as the foundation for the material representation. Our QC-based features are seamlessly integrated with learning models for the advancement of 2D perovskite design. At the heart of this framework lies the quotient complex descriptors (QCDs), representing a quotient variation of simplicial complexes derived from materials unit cell and periodic boundary conditions. Differing from prior material representations, this approach encodes higher-order interactions and periodicity information simultaneously. Based on the well-established New Materials for Solar Energetics (NMSE) databank, our QC-based machine learning models exhibit superior performance against all existing counterparts. This underscores the paramount role of periodicity information in predicting material functionality, while also showcasing the remarkable efficiency of the QC-based model in characterizing materials structural attributes.
△ Less
Submitted 24 July, 2024;
originally announced July 2024.
-
Topology-enhanced machine learning model (Top-ML) for anticancer peptide prediction
Authors:
Joshua Zhi En Tan,
JunJie Wee,
Xue Gong,
Kelin Xia
Abstract:
Recently, therapeutic peptides have demonstrated great promise for cancer treatment. To explore powerful anticancer peptides, artificial intelligence (AI)-based approaches have been developed to systematically screen potential candidates. However, the lack of efficient featurization of peptides has become a bottleneck for these machine-learning models. In this paper, we propose a topology-enhanced…
▽ More
Recently, therapeutic peptides have demonstrated great promise for cancer treatment. To explore powerful anticancer peptides, artificial intelligence (AI)-based approaches have been developed to systematically screen potential candidates. However, the lack of efficient featurization of peptides has become a bottleneck for these machine-learning models. In this paper, we propose a topology-enhanced machine learning model (Top-ML) for anticancer peptides prediction. Our Top-ML employs peptide topological features derived from its sequence "connection" information characterized by vector and spectral descriptors. Our Top-ML model, employing an Extra-Trees classifier, has been validated on the AntiCP 2.0 and mACPpred 2.0 benchmark datasets, achieving state-of-the-art performance or results comparable to existing deep learning models, while providing greater interpretability. Our results highlight the potential of leveraging novel topology-based featurization to accelerate the identification of anticancer peptides.
△ Less
Submitted 15 April, 2025; v1 submitted 12 July, 2024;
originally announced July 2024.
-
Frequency-Reactive Power Optimization Strategy of Grid-forming Offshore Wind Farm Using DRU-HVDC Transmission
Authors:
Zhekai Li,
Kun Han,
Xu Cai,
Renxin Yang,
Haotian Yu,
Kepeng Xia,
Lulu Liu
Abstract:
The diode rectifier unit-based high voltage direct current (DRU-HVDC) transmission with grid-forming (GFM) wind turbine is becoming a promising scheme for offshore wind farm(OWF) integration due to its high reliability and low cost. In this scheme, the AC network of the OWF and the DRU has completely different synchronization mechanisms and power flow characteristics from the traditional power sys…
▽ More
The diode rectifier unit-based high voltage direct current (DRU-HVDC) transmission with grid-forming (GFM) wind turbine is becoming a promising scheme for offshore wind farm(OWF) integration due to its high reliability and low cost. In this scheme, the AC network of the OWF and the DRU has completely different synchronization mechanisms and power flow characteristics from the traditional power system. To optimize the power flow and reduce the net loss, this paper carries out the power flow modeling and optimization analysis for the DRU-HVDC transmission system with grid-forming OWFs. The influence of the DRU and the GFM wind turbines on the power flow of the system is analyzed. On this basis, improved constraint conditions are proposed and an optimal power flow (OPF) method is established. This method can minimize the power loss by adjusting the reactive power output of each wind turbine and internal network frequency. Finally, based on MATLAB, this paper uses YALMIP toolkit and CPLEX mathematical solver to realize the programming solution of the OPF model proposed in this paper. The results show that the proposed optimization strategy can effectively reduce the power loss of the entire OWF and the transmission system with an optimization ratio of network losses exceeding 25.3%.
△ Less
Submitted 16 March, 2024;
originally announced March 2024.
-
Integration of persistent Laplacian and pre-trained transformer for protein solubility changes upon mutation
Authors:
JunJie Wee,
Jiahui Chen,
Kelin Xia,
Guo-Wei Wei
Abstract:
Protein mutations can significantly influence protein solubility, which results in altered protein functions and leads to various diseases. Despite of tremendous effort, machine learning prediction of protein solubility changes upon mutation remains a challenging task as indicated by the poor scores of normalized Correct Prediction Ratio (CPR). Part of the challenge stems from the fact that there…
▽ More
Protein mutations can significantly influence protein solubility, which results in altered protein functions and leads to various diseases. Despite of tremendous effort, machine learning prediction of protein solubility changes upon mutation remains a challenging task as indicated by the poor scores of normalized Correct Prediction Ratio (CPR). Part of the challenge stems from the fact that there is no three-dimensional (3D) structures for the wild-type and mutant proteins. This work integrates persistent Laplacians and pre-trained Transformer for the task. The Transformer, pretrained with hunderds of millions of protein sequences, embeds wild-type and mutant sequences, while persistent Laplacians track the topological invariant change and homotopic shape evolution induced by mutations in 3D protein structures, which are rendered from AlphaFold2. The resulting machine learning model was trained on an extensive data set labeled with three solubility types. Our model outperforms all existing predictive methods and improves the state-of-the-art up to 15%.
△ Less
Submitted 2 November, 2023; v1 submitted 28 October, 2023;
originally announced October 2023.
-
The Dirichlet Problem for mixed Hessian type equations on Riemannian manifolds
Authors:
Xiaojuan Chen,
Juhua Shi,
Xiaocui Wu,
Kang Xiao
Abstract:
In this paper, we derive $C^2$ estimates for a class of mixed Hessian type equations with Dirichlet boundary condition, and obtain the existence theorem of admissible solutions for the classical Dirichlet problem of these mixed Hessian type equations.
In this paper, we derive $C^2$ estimates for a class of mixed Hessian type equations with Dirichlet boundary condition, and obtain the existence theorem of admissible solutions for the classical Dirichlet problem of these mixed Hessian type equations.
△ Less
Submitted 24 October, 2022; v1 submitted 21 March, 2022;
originally announced March 2022.
-
A Unified Topological Approach to Data Science
Authors:
Jelena Grbić,
Jie Wu,
Kelin Xia,
Guo-Wei Wei
Abstract:
We establish a new theory which gives a unified topological approach to data science, by being applicable both to point cloud data and to graph data, including networks beyond pairwise interactions. We generalize simplicial complexes and hypergraphs to super-hypergraphs and establish super-hypergraph homology as an extension of simplicial homology. Driven by applications, we also introduce super-p…
▽ More
We establish a new theory which gives a unified topological approach to data science, by being applicable both to point cloud data and to graph data, including networks beyond pairwise interactions. We generalize simplicial complexes and hypergraphs to super-hypergraphs and establish super-hypergraph homology as an extension of simplicial homology. Driven by applications, we also introduce super-persistent homology.
△ Less
Submitted 31 March, 2021;
originally announced March 2021.
-
Horo-convex hypersurfaces with prescribed shifted Gauss curvatures in $\mathbb{H}^{n+1}$
Authors:
Li Chen,
Kang Xiao,
Qiang Tu
Abstract:
In this paper, we consider prescribed shifted Gauss curvature equations for horo-convex hypersurfaces in $\mathbb{H}^{n+1}$. Under some sufficient condition, we obtain an existence result by the standard degree theory based on the a prior estimates for the solutions to the equations. Different from the prescribed Weingarten curvature problem in space forms, we do not impose a sign condition for ra…
▽ More
In this paper, we consider prescribed shifted Gauss curvature equations for horo-convex hypersurfaces in $\mathbb{H}^{n+1}$. Under some sufficient condition, we obtain an existence result by the standard degree theory based on the a prior estimates for the solutions to the equations. Different from the prescribed Weingarten curvature problem in space forms, we do not impose a sign condition for radial derivative of the functions in the right-hand side of the equations to prove the existence due to the horo-covexity of hypersurfaces in $\mathbb{H}^{n+1}$.
△ Less
Submitted 26 July, 2020;
originally announced July 2020.
-
Standing waves on a flower graph
Authors:
Adilbek Kairzhan,
Robert Marangell,
Dmitry E. Pelinovsky,
Ke Liang Xiao
Abstract:
A flower graph consists of a half line and $N$ symmetric loops connected at a single vertex with $N \geq 2$ (it is called the tadpole graph if $N = 1$). We consider positive single-lobe states on the flower graph in the framework of the cubic nonlinear Schrodinger equation. The main novelty of our paper is a rigorous application of the period function for second-order differential equations toward…
▽ More
A flower graph consists of a half line and $N$ symmetric loops connected at a single vertex with $N \geq 2$ (it is called the tadpole graph if $N = 1$). We consider positive single-lobe states on the flower graph in the framework of the cubic nonlinear Schrodinger equation. The main novelty of our paper is a rigorous application of the period function for second-order differential equations towards understanding the symmetries and bifurcations of standing waves on metric graphs. We show that the positive single-lobe symmetric state (which is the ground state of energy for small fixed mass) undergoes exactly one bifurcation for larger mass, at which point $(N-1)$ branches of other positive single-lobe states appear: each branch has $K$ larger components and $(N-K)$ smaller components, where $1 \leq K \leq N-1$. We show that only the branch with $K = 1$ represents a local minimizer of energy for large fixed mass, however, the ground state of energy is not attained for large fixed mass. Analytical results obtained from the period function are illustrated numerically.
△ Less
Submitted 11 September, 2020; v1 submitted 20 March, 2020;
originally announced March 2020.
-
Persistent spectral based machine learning (PerSpect ML) for drug design
Authors:
Zhenyu Meng,
Kelin Xia
Abstract:
In this paper, we propose persistent spectral based machine learning (PerSpect ML) models for drug design. Persistent spectral models, including persistent spectral graph, persistent spectral simplicial complex and persistent spectral hypergraph, are proposed based on spectral graph theory, spectral simplicial complex theory and spectral hypergraph theory, respectively. Different from all previous…
▽ More
In this paper, we propose persistent spectral based machine learning (PerSpect ML) models for drug design. Persistent spectral models, including persistent spectral graph, persistent spectral simplicial complex and persistent spectral hypergraph, are proposed based on spectral graph theory, spectral simplicial complex theory and spectral hypergraph theory, respectively. Different from all previous spectral models, a filtration process, as proposed in persistent homology, is introduced to generate multiscale spectral models. More specifically, from the filtration process, a series of nested topological representations, i,e., graphs, simplicial complexes, and hypergraphs, can be systematically generated and their spectral information can be obtained. Persistent spectral variables are defined as the function of spectral variables over the filtration value. Mathematically, persistent multiplicity (of zero eigenvalues) is exactly the persistent Betti number (or Betti curve). We consider 11 persistent spectral variables and use them as the feature for machine learning models in protein-ligand binding affinity prediction. We systematically test our models on three most commonly-used databases, including PDBbind-2007, PDBbind-2013 and PDBbind-2016. Our results, for all these databases, are better than all existing models, as far as we know. This demonstrates the great power of our PerSpect ML in molecular data analysis and drug design.
△ Less
Submitted 3 February, 2020;
originally announced February 2020.
-
Discrete Morse Theory for Weighted Simplicial Complexes
Authors:
Chengyuan Wu,
Shiquan Ren,
Jie Wu,
Kelin Xia
Abstract:
In this paper, we study Forman's discrete Morse theory in the context of weighted homology. We develop weighted versions of classical theorems in discrete Morse theory. A key difference in the weighted case is that simplicial collapses do not necessarily preserve weighted homology. We work out some sufficient conditions for collapses to preserve weighted homology, as well as study the effect of el…
▽ More
In this paper, we study Forman's discrete Morse theory in the context of weighted homology. We develop weighted versions of classical theorems in discrete Morse theory. A key difference in the weighted case is that simplicial collapses do not necessarily preserve weighted homology. We work out some sufficient conditions for collapses to preserve weighted homology, as well as study the effect of elementary removals on weighted homology. An application to sequence analysis is included, where we study the weighted ordered complexes of sequences.
△ Less
Submitted 10 December, 2019; v1 submitted 7 January, 2019;
originally announced January 2019.
-
Persistent-Homology-based Machine Learning and its Applications -- A Survey
Authors:
Chi Seng Pun,
Kelin Xia,
Si Xian Lee
Abstract:
A suitable feature representation that can both preserve the data intrinsic information and reduce data complexity and dimensionality is key to the performance of machine learning models. Deeply rooted in algebraic topology, persistent homology (PH) provides a delicate balance between data simplification and intrinsic structure characterization, and has been applied to various areas successfully.…
▽ More
A suitable feature representation that can both preserve the data intrinsic information and reduce data complexity and dimensionality is key to the performance of machine learning models. Deeply rooted in algebraic topology, persistent homology (PH) provides a delicate balance between data simplification and intrinsic structure characterization, and has been applied to various areas successfully. However, the combination of PH and machine learning has been hindered greatly by three challenges, namely topological representation of data, PH-based distance measurements or metrics, and PH-based feature representation. With the development of topological data analysis, progresses have been made on all these three problems, but widely scattered in different literatures. In this paper, we provide a systematical review of PH and PH-based supervised and unsupervised models from a computational perspective. Our emphasizes are the recent development of mathematical models and tools, including PH softwares and PH-based functions, feature representations, kernels, and similarity models. Essentially, this paper can work as a roadmap for the practical application of PH-based machine learning tools. Further, we consider different topological feature representations in different machine learning models, and investigate their impacts on the protein secondary structure classification.
△ Less
Submitted 1 November, 2018;
originally announced November 2018.
-
Weighted Fundamental Group
Authors:
Chengyuan Wu,
Shiquan Ren,
Jie Wu,
Kelin Xia
Abstract:
In this paper, we develop and study the theory of weighted fundamental groups of weighted simplicial complexes. When all weights are 1, the weighted fundamental group reduces to the usual fundamental group as a special case. We also study weighted versions of classical theorems like van Kampen's theorem. In addition, we also investigate the abelianization, lower central series and applications of…
▽ More
In this paper, we develop and study the theory of weighted fundamental groups of weighted simplicial complexes. When all weights are 1, the weighted fundamental group reduces to the usual fundamental group as a special case. We also study weighted versions of classical theorems like van Kampen's theorem. In addition, we also investigate the abelianization, lower central series and applications of weighted fundamental groups.
△ Less
Submitted 31 January, 2020; v1 submitted 19 August, 2018;
originally announced August 2018.
-
Weighted (Co)homology and Weighted Laplacian
Authors:
Chengyuan Wu,
Shiquan Ren,
Jie Wu,
Kelin Xia
Abstract:
In this paper, we generalize the combinatorial Laplace operator of Horak and Jost by introducing the $φ$-weighted coboundary operator induced by a weight function $φ$. Our weight function $φ$ is a generalization of Dawson's weighted boundary map. We show that our above-mentioned generalizations include new cases that are not covered by previous literature. Our definition of weighted Laplacian for…
▽ More
In this paper, we generalize the combinatorial Laplace operator of Horak and Jost by introducing the $φ$-weighted coboundary operator induced by a weight function $φ$. Our weight function $φ$ is a generalization of Dawson's weighted boundary map. We show that our above-mentioned generalizations include new cases that are not covered by previous literature. Our definition of weighted Laplacian for weighted simplicial complexes is also applicable to weighted/unweighted graphs and digraphs.
△ Less
Submitted 21 May, 2023; v1 submitted 19 April, 2018;
originally announced April 2018.
-
A review of geometric, topological and graph theory apparatuses for the modeling and analysis of biomolecular data
Authors:
Kelin Xia,
Guo-Wei Wei
Abstract:
Geometric, topological and graph theory modeling and analysis of biomolecules are of essential importance in the conceptualization of molecular structure, function, dynamics, and transport. On the one hand, geometric modeling provides molecular surface and structural representation, and offers the basis for molecular visualization, which is crucial for the understanding of molecular structure and…
▽ More
Geometric, topological and graph theory modeling and analysis of biomolecules are of essential importance in the conceptualization of molecular structure, function, dynamics, and transport. On the one hand, geometric modeling provides molecular surface and structural representation, and offers the basis for molecular visualization, which is crucial for the understanding of molecular structure and interactions. On the other hand, it bridges the gap between molecular structural data and theoretical/mathematical models. Topological analysis and modeling give rise to atomic critical points and connectivity, and shed light on the intrinsic topological invariants such as independent components (atoms), rings (pockets) and cavities. Graph theory analyzes biomolecular interactions and reveals biomolecular structure-function relationship. In this paper, we review certain geometric, topological and graph theory apparatuses for biomolecular data modeling and analysis. These apparatuses are categorized into discrete and continuous ones. For discrete approaches, graph theory, Gaussian network model, anisotropic network model, normal mode analysis, quasi-harmonic analysis, flexibility and rigidity index, molecular nonlinear dynamics, spectral graph theory, and persistent homology are discussed. For continuous mathematical tools, we present discrete to continuum mapping, high dimensional persistent homology, biomolecular geometric modeling, differential geometry theory of surfaces, curvature evaluation, variational derivation of minimal molecular surfaces, atoms in molecule theory and quantum chemical topology. Four new approaches, including analytical minimal molecular surface, Hessian matrix eigenvalue map, curvature map and virtual particle model, are introduced for the first time to bridge the gaps in biomolecular modeling and analysis.
△ Less
Submitted 6 December, 2016;
originally announced December 2016.
-
Finite Volume Formulation of the MIB Method for Elliptic Interface Problems
Authors:
Yin Cao,
Bao Wang,
Kelin Xia,
Guowi Wei
Abstract:
The matched interface and boundary (MIB) method has a proven ability for delivering the second order accuracy in handling elliptic interface problems with arbitrarily complex interface geometries. However, its collocation formulation requires relatively high solution regularity. Finite volume method (FVM) has its merit in dealing with conservation law problems and its integral formulation works we…
▽ More
The matched interface and boundary (MIB) method has a proven ability for delivering the second order accuracy in handling elliptic interface problems with arbitrarily complex interface geometries. However, its collocation formulation requires relatively high solution regularity. Finite volume method (FVM) has its merit in dealing with conservation law problems and its integral formulation works well with relatively low solution regularity. We propose an MIB-FVM to take the advantages of both MIB and FVM for solving elliptic interface problems. We construct the proposed method on Cartesian meshes with vertex-centered control volumes. A large number of numerical experiments are designed to validate the present method in both two dimensional (2D) and three dimensional (3D) domains. It is found that the proposed MIB-FVM achieves the second order convergence for elliptic interface problems with complex interface geometries in both $L_{\infty}$ and $L_2$ norms.
△ Less
Submitted 2 September, 2015;
originally announced September 2015.
-
Second order Method for Solving 3D Elasticity Equations with Complex and Sharp Interfaces
Authors:
Bao Wang,
Kelin Xia,
Guowei Wei
Abstract:
Elastic materials are ubiquitous in nature and indispensable components in man-made devices and equipments. When a device or equipment involves composite or multiple elastic materials, elasticity interface problems come into play. The solution of three dimensional (3D) elasticity interface problems is significantly more difficult than that of elliptic counterparts due to the coupled vector compone…
▽ More
Elastic materials are ubiquitous in nature and indispensable components in man-made devices and equipments. When a device or equipment involves composite or multiple elastic materials, elasticity interface problems come into play. The solution of three dimensional (3D) elasticity interface problems is significantly more difficult than that of elliptic counterparts due to the coupled vector components and cross derivatives in the governing elasticity equation. This work introduces the matched interface and boundary (MIB) method for solving 3D elasticity interface problems. The proposed MIB method utilizes fictitious values on irregular grid points near the material interface to replace function values in the discretization so that the elasticity equation can be discretized using the standard finite difference schemes as if there were no material interface. The interface jump conditions are rigorously enforced on the intersecting points between the interface and the mesh lines. Such an enforcement determines the fictitious values. A number of new technique are developed to construct efficient MIB schemes for dealing with cross derivative in coupled governing equations. The proposed method is extensively validated over both weak and strong discontinuity of the solution, both piecewise constant and position-dependent material parameters, both smooth and nonsmooth interface geometries, and both small and large contrasts in the Poisson's ratio and shear modulus across the interface. Numerical experiments indicate that the present MIB method is of second order convergence in both $L_\infty$ and $L_2$ error norms.
△ Less
Submitted 20 December, 2014;
originally announced December 2014.
-
Matched Interface and Boundary Method for Elasticity Interface Problems
Authors:
Bao Wang,
Kelin Xia,
Guo-Wei Wei
Abstract:
Elasticity theory is an important component of continuum mechanics and has had widely spread applications in science and engineering. Material interfaces are ubiquity in nature and man-made devices, and often give rise to discontinuous coefficients in the governing elasticity equations. In this work, the matched interface and boundary (MIB) method is developed to address elasticity interface probl…
▽ More
Elasticity theory is an important component of continuum mechanics and has had widely spread applications in science and engineering. Material interfaces are ubiquity in nature and man-made devices, and often give rise to discontinuous coefficients in the governing elasticity equations. In this work, the matched interface and boundary (MIB) method is developed to address elasticity interface problems. Linear elasticity theory for both isotropic homogeneous and inhomogeneous media is employed. In our approach, Lam$\acute{e}$'s parameters can have jumps across the interface and are allowed to be position dependent in modeling isotropic inhomogeneous material. Both strong discontinuity, i.e., discontinuous solution, and weak discontinuity, namely, discontinuous derivatives of the solution, are considered in the present study. In the proposed method, fictitious values are utilized so that the standard central finite different schemes can be employed regardless of the interface. Interface jump conditions are enforced on the interface, which in turn, accurately determines fictitious values. We design new MIB schemes to account for complex interface geometries. In particular, the cross derivatives in the elasticity equations are difficult to handle for complex interface geometries. We propose secondary fictitious values and construct geometry based interpolation schemes to overcome this difficulty. Numerous analytical examples are used to validate the accuracy, convergence and robustness of the present MIB method for elasticity interface problems with both small and large curvatures, strong and weak discontinuities, and constant and variable coefficients. Numerical tests indicate second order accuracy in both $L_\infty$ and $L_2$ norms.
△ Less
Submitted 16 December, 2014;
originally announced December 2014.
