Showing 1–49 of 49 results for author: Zhuang, X

Kolmogorov Arnold Informed neural network: A physics-informed deep learning framework for solving PDEs based on Kolmogorov Arnold Networks

Authors: Yizheng Wang, Jia Sun, **shuai Bai, Cosmin Anitescu, Mohammad Sadegh Eshaghi, Xiaoying Zhuang, Timon Rabczuk, Yinghua Liu

Abstract: AI for partial differential equations (PDEs) has garnered significant attention, particularly with the emergence of Physics-informed neural networks (PINNs). The recent advent of Kolmogorov-Arnold Network (KAN) indicates that there is potential to revisit and enhance the previously MLP-based PINNs. Compared to MLPs, KANs offer interpretability and require fewer parameters. PDEs can be described in… ▽ More AI for partial differential equations (PDEs) has garnered significant attention, particularly with the emergence of Physics-informed neural networks (PINNs). The recent advent of Kolmogorov-Arnold Network (KAN) indicates that there is potential to revisit and enhance the previously MLP-based PINNs. Compared to MLPs, KANs offer interpretability and require fewer parameters. PDEs can be described in various forms, such as strong form, energy form, and inverse form. While mathematically equivalent, these forms are not computationally equivalent, making the exploration of different PDE formulations significant in computational physics. Thus, we propose different PDE forms based on KAN instead of MLP, termed Kolmogorov-Arnold-Informed Neural Network (KINN). We systematically compare MLP and KAN in various numerical examples of PDEs, including multi-scale, singularity, stress concentration, nonlinear hyperelasticity, heterogeneous, and complex geometry problems. Our results demonstrate that KINN significantly outperforms MLP in terms of accuracy and convergence speed for numerous PDEs in computational solid mechanics, except for the complex geometry problem. This highlights KINN's potential for more efficient and accurate PDE solutions in AI for PDEs. △ Less

Submitted 16 June, 2024; originally announced June 2024.

On the existence and estimates of nested spherical designs

Authors: Ruigang Zheng, Xiaosheng Zhuang

Abstract: In this paper, we prove the existence of a spherical $t$-design formed by adding extra points to an arbitrarily given point set on the sphere and, subsequently, deduce the existence of nested spherical designs. Estimates on the number of required points are also given. For the case that the given point set is a spherical $t_1$-design such that $t_1 < t$ and the number of points is of optimal order… ▽ More In this paper, we prove the existence of a spherical $t$-design formed by adding extra points to an arbitrarily given point set on the sphere and, subsequently, deduce the existence of nested spherical designs. Estimates on the number of required points are also given. For the case that the given point set is a spherical $t_1$-design such that $t_1 < t$ and the number of points is of optimal order $t_1^d$, we show that the upper bound of the total number of extra points and given points for forming nested spherical $t$-design is of order $t^{2d+1}$. A brief discussion concerning the optimal order in nested spherical designs is also given. △ Less

Submitted 17 May, 2024; originally announced May 2024.

MSC Class: 41A10; 41A44; 41A55; 65D32

Second-order computational homogenization of flexoelectric composites

Authors: Xiaoying Zhuang, Bin Li, S. S. Nanthakumar, Thomas Bohlke

Abstract: Flexoelectricity shows promising applications for self-powered devices with its increased power density. This paper presents a second-order computational homogenization strategy for flexoelectric composite. The macro-micro scale transition, Hill-Mandel energy condition, periodic boundary conditions, and macroscopic constitutive tangents for the two-scale electromechanical coupling are investigated… ▽ More Flexoelectricity shows promising applications for self-powered devices with its increased power density. This paper presents a second-order computational homogenization strategy for flexoelectric composite. The macro-micro scale transition, Hill-Mandel energy condition, periodic boundary conditions, and macroscopic constitutive tangents for the two-scale electromechanical coupling are investigated and considered in the homogenization formulation. The macrostructure and microstructure are discretized using $C^1$ triangular finite elements. The second-order multiscale solution scheme is implemented using ABAQUS with user subroutines. Finally, we present numerical examples including parametric analysis of a square plate with holes and the design of piezoelectric materials made of non-piezoelectric materials to demonstrate the numerical implementation and the size-dependent effects of flexoelectricity. △ Less

Submitted 9 December, 2023; originally announced December 2023.

Spherical Designs for Function Approximation and Beyond

Authors: Yuchen Xiao, Xiaosheng Zhuang

Abstract: In this paper, we compare two optimization algorithms using full Hessian and approximation Hessian to obtain numerical spherical designs through their variational characterization. Based on the obtained spherical design point sets, we investigate the approximation of smooth and non-smooth functions by spherical harmonics with spherical designs. Finally, we use spherical framelets for denoising Wen… ▽ More In this paper, we compare two optimization algorithms using full Hessian and approximation Hessian to obtain numerical spherical designs through their variational characterization. Based on the obtained spherical design point sets, we investigate the approximation of smooth and non-smooth functions by spherical harmonics with spherical designs. Finally, we use spherical framelets for denoising Wendland functions as an application, which shows the great potential of spherical designs in spherical data processing. △ Less

Submitted 30 November, 2023; originally announced November 2023.

Comments: 29 pages, 9 figures, 7 tables

MSC Class: 42C05; 58C35; 65K10; 65D15; 65D32

Data-Adaptive Graph Framelets with Generalized Vanishing Moments for Graph Signal Processing

Authors: Ruigang Zheng, Xiaosheng Zhuang

Abstract: In this paper, we propose a novel and general framework to construct tight framelet systems on graphs with localized supports based on hierarchical partitions. Our construction provides parametrized graph framelet systems with great generality based on partition trees, by which we are able to find the size of a low-dimensional subspace that best fits the low-rank structure of a family of signals.… ▽ More In this paper, we propose a novel and general framework to construct tight framelet systems on graphs with localized supports based on hierarchical partitions. Our construction provides parametrized graph framelet systems with great generality based on partition trees, by which we are able to find the size of a low-dimensional subspace that best fits the low-rank structure of a family of signals. The orthogonal decomposition of subspaces provides a key ingredient for the definition of "generalized vanishing moments" for graph framelets. In a data-adaptive setting, the graph framelet systems can be learned by solving an optimization problem on Stiefel manifolds with respect to our parameterization. Moreover, such graph framelet systems can be further improved by solving a subsequent optimization problem on Stiefel manifolds, aiming at providing the utmost sparsity for a given family of graph signals. Experimental results show that our learned graph framelet systems perform superiorly in non-linear approximation and denoising tasks. △ Less

Submitted 30 December, 2023; v1 submitted 7 September, 2023; originally announced September 2023.

MSC Class: 43A99; 41A45; 94A11; 94A16

Phase-field modeling of fluid-driven dynamic cracking in porous media

Authors: Shuwei Zhou, Xiaoying Zhuang, Timon Rabczuk

Abstract: A phase field model for fluid-driven dynamic crack propagation in poroelastic media is proposed. Therefore, classical Biot poroelasticity theory is applied in the porous medium while arbitrary crack growth is naturally captured by the phase field model. We also account for the transition of the fluid property from the intact medium to the fully broken one by employing indicator functions. We emplo… ▽ More A phase field model for fluid-driven dynamic crack propagation in poroelastic media is proposed. Therefore, classical Biot poroelasticity theory is applied in the porous medium while arbitrary crack growth is naturally captured by the phase field model. We also account for the transition of the fluid property from the intact medium to the fully broken one by employing indicator functions. We employ a staggered scheme and implement our approach into the software package COMSOL Multiphysics. Our approach is first verified through three classical benchmark problems which are compared to analytical solutions for dynamic consolidation and pressure distribution in a single crack and in a specimen with two sets of joints. Subsequently, we present several 2D and 3D examples of dynamic crack branching and their interaction with pre-existing natural fractures. All presented examples demonstrate the capability of the proposed approach of handling dynamic crack propagation, branching and coalescence of fluid-driven fracture. △ Less

Submitted 11 July, 2023; originally announced September 2023.

Journal ref: Computer Methods in Applied Mechanics and Engineering, 2019, 350: 169-198

The Jacobian of a Sixth-Root-of-Unity Matroid

Authors: Matthew Baker, Changxin Ding, Xu Zhuang

Abstract: The Jacobian group (also called the sandpile group, Picard group, or critical group) of a graph or, more generally, of a regular matroid has been well studied. Sixth-root-of-unity matroids, also called complex unimodular matroids, are generalizations of regular matroids. This paper provides a definition, and establishes some basic properties, of the Jacobian group of a sixth-root-of-unity matroid. The Jacobian group (also called the sandpile group, Picard group, or critical group) of a graph or, more generally, of a regular matroid has been well studied. Sixth-root-of-unity matroids, also called complex unimodular matroids, are generalizations of regular matroids. This paper provides a definition, and establishes some basic properties, of the Jacobian group of a sixth-root-of-unity matroid. △ Less

Submitted 4 September, 2023; v1 submitted 22 August, 2023; originally announced August 2023.

Phase field modeling of brittle compressive-shear fractures in rock-like materials: A new driving force and a hybrid formulation

Authors: Shuwei Zhou, Xiaoying Zhuang, Timon Rabczuk

Abstract: Compressive-shear fracture is commonly observed in rock-like materials. However, this fracture type cannot be captured by current phase field models (PFMs), which have been proven an effective tool for modeling fracture initiation, propagation, coalescence, and branching in solids. The existing PFMs also cannot describe the influence of cohesion and internal friction angle on load-displacement cur… ▽ More Compressive-shear fracture is commonly observed in rock-like materials. However, this fracture type cannot be captured by current phase field models (PFMs), which have been proven an effective tool for modeling fracture initiation, propagation, coalescence, and branching in solids. The existing PFMs also cannot describe the influence of cohesion and internal friction angle on load-displacement curve during compression tests. Therefore, to develop a new phase field model that can simulate well compressive-shear fractures in rock-like materials, we construct a new driving force in the evolution equation of phase field. Strain spectral decomposition is applied and only the compressive part of the strain is used in the new driving force with consideration of the influence of cohesion and internal friction angle. For ease of implementation, a hybrid formulation is established for the phase field modeling. Then, we test the brittle compressive-shear fractures in uniaxial compression tests on intact rock-like specimens as well as those with a single or two parallel inclined flaws. All numerical results are in good agreement with the experimental observation, validating the feasibility and practicability of the proposed PFM for simulating brittle compressive-shear fractures. △ Less

Submitted 11 July, 2023; originally announced August 2023.

Journal ref: Computer Methods in Applied Mechanics and Engineering, 2019, 355: 729-752

On the hydraulic fracturing in naturally-layered porous media using the phase field method

Authors: Xiaoying Zhuang, Shuwei Zhou, Mao Sheng, Gensheng Li

Abstract: In the hydraulic fracturing of natural rocks, understanding and predicting crack penetrations into the neighboring layers is crucial and relevant in terms of cost-efficiency in engineering and environmental protection. This study constitutes a phase field framework to examine hydraulic fracture propagation in naturally-layered porous media. Biot's poroelasticity theory is used to couple the displa… ▽ More In the hydraulic fracturing of natural rocks, understanding and predicting crack penetrations into the neighboring layers is crucial and relevant in terms of cost-efficiency in engineering and environmental protection. This study constitutes a phase field framework to examine hydraulic fracture propagation in naturally-layered porous media. Biot's poroelasticity theory is used to couple the displacement and flow field, while a phase field method helps characterize fracture growth behavior. Additional fracture criteria are not required and fracture propagation is governed by the equation of phase field evolution. Thus, penetration criteria are not required when hydraulic fractures reach the material interfaces. The phase field method is implemented within a staggered scheme that sequentially solves the displacement, phase field, and fluid pressure. We consider the soft-to-stiff and the stiff-to-soft configurations, where the layer interface exhibits different inclination angles $θ$. Penetration, singly-deflected, and doubly-deflected fracture scenarios can be predicted by our simulations. In the soft-to-stiff configuration, $θ=0^\circ$ exhibits penetration or symmetrical doubly-deflected scenarios, and $θ=15^\circ$ exhibits singly-deflected or asymmetric doubly-deflected scenarios. Only the singly-deflected scenario is obtained for $θ=30^\circ$. In the stiff-to-soft configuration, only the penetration scenario is obtained with widening fractures when hydraulic fractures penetrate into the soft layer. △ Less

Submitted 11 July, 2023; originally announced July 2023.

Journal ref: Engineering Geology, 2020, 266: 105306

Elasto-plastic large deformation analysis of multi-patch thin shells by isogeometric approach

Authors: Giang Huynh, Xiaoying Zhuang, Hoang-Giang Bui, G. Meschke, Hung Nguyen-Xuan

Abstract: This paper studies elasto-plastic large deformation behavior of thin shell structures using the isogeometric computational approach with the main focus on the efficiency in modelling the multi-patches and arbitrary material formulations. In terms of modelling, we employ the bending strip method to connect the patches in the structure. The incorporation of bending strips allows to eliminate the str… ▽ More This paper studies elasto-plastic large deformation behavior of thin shell structures using the isogeometric computational approach with the main focus on the efficiency in modelling the multi-patches and arbitrary material formulations. In terms of modelling, we employ the bending strip method to connect the patches in the structure. The incorporation of bending strips allows to eliminate the strict demand of the C1 continuity condition, which is postulated in the Kirchhoff-Love theory for thin shell, and therefore it enables us to use the standard multi-patch structure even with C0 continuity along the patch boundaries. Furthermore, arbitrary nonlinear material models such as hyperelasticity and finite strain plasticity are embedded in the shell formulation, from which a unified thin shell formulation can be achieved. In terms of analysis, the Bezier decomposition concept is used to retain the local support of the traditional finite element. The performance of the presented approach is verified through several numerical benchmarks. △ Less

Submitted 11 July, 2023; originally announced July 2023.

Permutation Equivariant Graph Framelets for Heterophilous Graph Learning

Authors: Jianfei Li, Ruigang Zheng, Han Feng, Ming Li, Xiaosheng Zhuang

Abstract: The nature of heterophilous graphs is significantly different from that of homophilous graphs, which causes difficulties in early graph neural network models and suggests aggregations beyond the 1-hop neighborhood. In this paper, we develop a new way to implement multi-scale extraction via constructing Haar-type graph framelets with desired properties of permutation equivariance, efficiency, and s… ▽ More The nature of heterophilous graphs is significantly different from that of homophilous graphs, which causes difficulties in early graph neural network models and suggests aggregations beyond the 1-hop neighborhood. In this paper, we develop a new way to implement multi-scale extraction via constructing Haar-type graph framelets with desired properties of permutation equivariance, efficiency, and sparsity, for deep learning tasks on graphs. We further design a graph framelet neural network model PEGFAN (Permutation Equivariant Graph Framelet Augmented Network) based on our constructed graph framelets. The experiments are conducted on a synthetic dataset and 9 benchmark datasets to compare performance with other state-of-the-art models. The result shows that our model can achieve the best performance on certain datasets of heterophilous graphs (including the majority of heterophilous datasets with relatively larger sizes and denser connections) and competitive performance on the remaining. △ Less

Submitted 17 October, 2023; v1 submitted 7 June, 2023; originally announced June 2023.

Unilinear residuated lattices: axiomatization, varieties and FEP

Authors: Nick Galatos, Xiao Zhuang

Abstract: We characterize all residuated lattices that have height equal to $3$ and show that the variety they generate has continuum-many subvarieties. More generally, we study unilinear residuated lattices: their lattice is a union of disjoint incomparable chains, with bounds added. We we give two general constructions of unilinear residuated lattices, provide an axiomatization and a proof-theoretic calcu… ▽ More We characterize all residuated lattices that have height equal to $3$ and show that the variety they generate has continuum-many subvarieties. More generally, we study unilinear residuated lattices: their lattice is a union of disjoint incomparable chains, with bounds added. We we give two general constructions of unilinear residuated lattices, provide an axiomatization and a proof-theoretic calculus for the variety they generate, and prove the finite model property for various subvarieties. △ Less

Submitted 11 April, 2023; originally announced April 2023.

Comments: 28 pages, 5 figures

MSC Class: 06F05 (primary) 08B15; 03B47; 03G10 (secondary)

Spherical framelets from spherical designs

Authors: Yuchen Xiao, Xiaosheng Zhuang

Abstract: In this paper, we investigate in detail the structures of the variational characterization $A_{N,t}$ of the spherical $t$-design, its gradient $\nabla A_{N,t}$, and its Hessian $\mathcal{H}(A_{N,t})$ in terms of fast spherical harmonic transforms. Moreover, we propose solving the minimization problem of $A_{N,t}$ using the trust-region method to provide spherical $t$-designs with large values of… ▽ More In this paper, we investigate in detail the structures of the variational characterization $A_{N,t}$ of the spherical $t$-design, its gradient $\nabla A_{N,t}$, and its Hessian $\mathcal{H}(A_{N,t})$ in terms of fast spherical harmonic transforms. Moreover, we propose solving the minimization problem of $A_{N,t}$ using the trust-region method to provide spherical $t$-designs with large values of $t$. Based on the obtained spherical $t$-designs, we develop (semi-discrete) spherical tight framelets as well as their truncated systems and their fast spherical framelet transforms for the practical spherical signal/image processing. Thanks to the large spherical $t$-designs and localization property of our spherical framelets, we are able to provide signal/image denoising using local thresholding techniques based on a fine-tuned spherical cap restriction. Many numerical experiments are conducted to demonstrate the efficiency and effectiveness of our spherical framelets, including Wendland function approximation, ETOPO data processing, and spherical image denoising. △ Less

Submitted 9 March, 2023; originally announced March 2023.

Comments: 30 pages, 9 figures

MSC Class: 42C15; 42C40; 58C35; 65D18; 65D32

Journal ref: SIAM Journal on Imaging Sciences, Volume 16, Issue 4, December 2023

Ductile fracture modeling by phase field, Hencky strain elasticity and finite J2 plasticity using nonlocal operator method

Authors: Huilong Ren, Xiaoying Zhuang, Timon Rabczuk

Abstract: A phase field model for ductile fracture considering Hencky strain and finite J2 plasticity is presented using the nonlocal operator method. A variational derivation of J2 plasticity at finite strain with a phase field model is performed. The method includes a logarithmic strain tensor and an exponential map** in the plasticity evolution. A spectral decomposition based algorithm for computing th… ▽ More A phase field model for ductile fracture considering Hencky strain and finite J2 plasticity is presented using the nonlocal operator method. A variational derivation of J2 plasticity at finite strain with a phase field model is performed. The method includes a logarithmic strain tensor and an exponential map** in the plasticity evolution. A spectral decomposition based algorithm for computing the first and second order derivatives of the composite matrix function is implemented. A consistent tangential stiffness matrix is derived and used in Newton-Raphson iterations. Several numerical examples are performed to validate the method, including notched single-edged plates with brittle fracture or ductile fracture and necking of a bar with/without phase field model. △ Less

Submitted 7 February, 2023; originally announced February 2023.

Convolutional Neural Networks for Spherical Signal Processing via Spherical Haar Tight Framelets

Authors: Jianfei Li, Han Feng, Xiaosheng Zhuang

Abstract: In this paper, we develop a general theoretical framework for constructing Haar-type tight framelets on any compact set with a hierarchical partition. In particular, we construct a novel area-regular hierarchical partition on the 2-sphere and establish its corresponding spherical Haar tight framelets with directionality. We conclude by evaluating and illustrating the effectiveness of our area-regu… ▽ More In this paper, we develop a general theoretical framework for constructing Haar-type tight framelets on any compact set with a hierarchical partition. In particular, we construct a novel area-regular hierarchical partition on the 2-sphere and establish its corresponding spherical Haar tight framelets with directionality. We conclude by evaluating and illustrating the effectiveness of our area-regular spherical Haar tight framelets in several denoising experiments. Furthermore, we propose a convolutional neural network (CNN) model for spherical signal denoising which employs the fast framelet decomposition and reconstruction algorithms. Experiment results show that our proposed CNN model outperforms threshold methods, and processes strong generalization and robustness properties. △ Less

Submitted 17 January, 2022; originally announced January 2022.

Multigoal-oriented dual-weighted-residual error estimation using deep neural networks

Authors: Ayan Chakraborty, Thomas Wick, Xiaoying Zhuang, Timon Rabczuk

Abstract: Deep learning has shown successful application in visual recognition and certain artificial intelligence tasks. Deep learning is also considered as a powerful tool with high flexibility to approximate functions. In the present work, functions with desired properties are devised to approximate the solutions of PDEs. Our approach is based on a posteriori error estimation in which the adjoint problem… ▽ More Deep learning has shown successful application in visual recognition and certain artificial intelligence tasks. Deep learning is also considered as a powerful tool with high flexibility to approximate functions. In the present work, functions with desired properties are devised to approximate the solutions of PDEs. Our approach is based on a posteriori error estimation in which the adjoint problem is solved for the error localization to formulate an error estimator within the framework of neural network. An efficient and easy to implement algorithm is developed to obtain a posteriori error estimate for multiple goal functionals by employing the dual-weighted residual approach, which is followed by the computation of both primal and adjoint solutions using the neural network. The present study shows that such a data-driven model based learning has superior approximation of quantities of interest even with relatively less training data. The novel algorithmic developments are substantiated with numerical test examples. The advantages of using deep neural network over the shallow neural network are demonstrated and the convergence enhancing techniques are also presented △ Less

Submitted 22 December, 2021; v1 submitted 21 December, 2021; originally announced December 2021.

Resolving subcategories and dimensions in recollements of extriangulated categories

Authors: Xin Ma, Tiwei Zhao, Xin Zhuang

Abstract: Recently, Wang, Wei and Zhang introduced the notion of recollements of extriangulated categories. In this paper, let $(\mathcal{A},\mathcal{B},\mathcal{C})$ be a recollement of extriangulated categories. We provide some methods to construct resolving subcategories in $(\mathcal{A},\mathcal{B},\mathcal{C})$. As applications of the Auslander-Reiten correspondence, we get the gluing of cotilting modu… ▽ More Recently, Wang, Wei and Zhang introduced the notion of recollements of extriangulated categories. In this paper, let $(\mathcal{A},\mathcal{B},\mathcal{C})$ be a recollement of extriangulated categories. We provide some methods to construct resolving subcategories in $(\mathcal{A},\mathcal{B},\mathcal{C})$. As applications of the Auslander-Reiten correspondence, we get the gluing of cotilting modules in a recollement of module categories for artin algebras. We also give some bounds of resolution dimensions of the categories involved in $(\mathcal{A},\mathcal{B},\mathcal{C})$ with respect to resolving subcategories, which generalize some known results. △ Less

Submitted 21 May, 2022; v1 submitted 16 November, 2021; originally announced November 2021.

Comments: 21 pages

The Dynamics of Deforming Manifold: A Mathematical Model

Authors: Xiaodong Zhuang, Nikos E. Mastorakis

Abstract: In order to meet the requirements of practical applications, a model of deforming manifold in the embedded space is proposed. The deforming vector and deforming field are presented to precisely describe the deforming process, which have clear physical meanings. The proposed model is a modification of the general differential dynamic model, with constraints of spatial and temporal continuity on the… ▽ More In order to meet the requirements of practical applications, a model of deforming manifold in the embedded space is proposed. The deforming vector and deforming field are presented to precisely describe the deforming process, which have clear physical meanings. The proposed model is a modification of the general differential dynamic model, with constraints of spatial and temporal continuity on the deforming field. The deformation integral and derivative are presented as compact expressions of manifold deforming process. Moreover, a specific autonomous deforming field with flattening effect is defined, which provides a novel geometric viewpoint on data dimension reduction. The effectiveness of this autonomous deforming field is proved by numerical computation simulations, which indicate the promising potential of the proposed model in practical dimension reduction tasks. △ Less

Submitted 11 October, 2021; originally announced October 2021.

Comments: 9 pages, 8 figures

Nonlocal strong forms of thin plate, gradient elasticity, magneto-electro-elasticity and phase field fracture by nonlocal operator method

Authors: Huilong Ren, Xiaoying Zhuang, Erkan Oterkus, HeHua Zhu, Timon Rabczuk

Abstract: The derivation of nonlocal strong forms for many physical problems remains cumbersome in traditional methods. In this paper, we apply the variational principle/weighted residual method based on nonlocal operator method for the derivation of nonlocal forms for elasticity, thin plate, gradient elasticity, electro-magneto-elasticity and phase field fracture method. The nonlocal governing equations ar… ▽ More The derivation of nonlocal strong forms for many physical problems remains cumbersome in traditional methods. In this paper, we apply the variational principle/weighted residual method based on nonlocal operator method for the derivation of nonlocal forms for elasticity, thin plate, gradient elasticity, electro-magneto-elasticity and phase field fracture method. The nonlocal governing equations are expressed as integral form on support and dual-support. The first example shows that the nonlocal elasticity has the same form as dual-horizon non-ordinary state-based peridynamics. The derivation is simple and general and it can convert efficiently many local physical models into their corresponding nonlocal forms. In addition, a criterion based on the instability of the nonlocal gradient is proposed for the fracture modelling in linear elasticity. Several numerical examples are presented to validate nonlocal elasticity and the nonlocal thin plate . △ Less

Submitted 25 February, 2021; originally announced March 2021.

Comments: 45 pages

Regularization with Multilevel Non-stationary Tight Framelets for Image Restoration

Authors: Yan-ran Li, Raymond H. F. Chan, Lixin Shen, Xiaosheng Zhuang

Abstract: Variational regularization models are one of the popular and efficient approaches for image restoration. The regularization functional in the model carries prior knowledge about the image to be restored. The prior knowledge, in particular for natural images, are the first-order (i.e. variance in luminance) and second-order (i.e. contrast and texture) information. In this paper, we propose a model… ▽ More Variational regularization models are one of the popular and efficient approaches for image restoration. The regularization functional in the model carries prior knowledge about the image to be restored. The prior knowledge, in particular for natural images, are the first-order (i.e. variance in luminance) and second-order (i.e. contrast and texture) information. In this paper, we propose a model for image restoration, using a multilevel non-stationary tight framelet system that can capture the image's first-order and second-order information. We develop an algorithm to solve the proposed model and the numerical experiments show that the model is effective and efficient as compared to other higher-order models. △ Less

Submitted 7 February, 2021; originally announced February 2021.

A Deep Collocation Method for the Bending Analysis of Kirchhoff Plate

Authors: Hongwei Guo, Xiaoying Zhuang, Timon Rabczuk

Abstract: In this paper, a deep collocation method (DCM) for thin plate bending problems is proposed. This method takes advantage of computational graphs and backpropagation algorithms involved in deep learning. Besides, the proposed DCM is based on a feedforward deep neural network (DNN) and differs from most previous applications of deep learning for mechanical problems. First, batches of randomly distrib… ▽ More In this paper, a deep collocation method (DCM) for thin plate bending problems is proposed. This method takes advantage of computational graphs and backpropagation algorithms involved in deep learning. Besides, the proposed DCM is based on a feedforward deep neural network (DNN) and differs from most previous applications of deep learning for mechanical problems. First, batches of randomly distributed collocation points are initially generated inside the domain and along the boundaries. A loss function is built with the aim that the governing partial differential equations (PDEs) of Kirchhoff plate bending problems, and the boundary/initial conditions are minimised at those collocation points. A combination of optimizers is adopted in the backpropagation process to minimize the loss function so as to obtain the optimal hyperparameters. In Kirchhoff plate bending problems, the C1 continuity requirement poses significant difficulties in traditional mesh-based methods. This can be solved by the proposed DCM, which uses a deep neural network to approximate the continuous transversal deflection, and is proved to be suitable to the bending analysis of Kirchhoff plate of various geometries. △ Less

Submitted 4 February, 2021; originally announced February 2021.

Journal ref: Materials & Continua, 59(2), 433-456 (2019)

Decimated Framelet System on Graphs and Fast G-Framelet Transforms

Authors: Xuebin Zheng, Bingxin Zhou, Yu Guang Wang, Xiaosheng Zhuang

Abstract: Graph representation learning has many real-world applications, from super-resolution imaging, 3D computer vision to drug repurposing, protein classification, social networks analysis. An adequate representation of graph data is vital to the learning performance of a statistical or machine learning model for graph-structured data. In this paper, we propose a novel multiscale representation system… ▽ More Graph representation learning has many real-world applications, from super-resolution imaging, 3D computer vision to drug repurposing, protein classification, social networks analysis. An adequate representation of graph data is vital to the learning performance of a statistical or machine learning model for graph-structured data. In this paper, we propose a novel multiscale representation system for graph data, called decimated framelets, which form a localized tight frame on the graph. The decimated framelet system allows storage of the graph data representation on a coarse-grained chain and processes the graph data at multi scales where at each scale, the data is stored at a subgraph. Based on this, we then establish decimated G-framelet transforms for the decomposition and reconstruction of the graph data at multi resolutions via a constructive data-driven filter bank. The graph framelets are built on a chain-based orthonormal basis that supports fast graph Fourier transforms. From this, we give a fast algorithm for the decimated G-framelet transforms, or FGT, that has linear computational complexity O(N) for a graph of size N. The theory of decimated framelets and FGT is verified with numerical examples for random graphs. The effectiveness is demonstrated by real-world applications, including multiresolution analysis for traffic network, and graph neural networks for graph classification tasks. △ Less

Submitted 16 December, 2021; v1 submitted 12 December, 2020; originally announced December 2020.

Comments: 69 pages, 10 figures, Published in JMLR

Deep Autoencoder based Energy Method for the Bending, Vibration, and Buckling Analysis of Kirchhoff Plates

Authors: Xiaoying Zhuang, Hongwei Guo, Naif Alajlan, Timon Rabczuk

Abstract: In this paper, we present a deep autoencoder based energy method (DAEM) for the bending, vibration and buckling analysis of Kirchhoff plates. The DAEM exploits the higher order continuity of the DAEM and integrates a deep autoencoder and the minimum total potential principle in one framework yielding an unsupervised feature learning method. The DAEM is a specific type of feedforward deep neural ne… ▽ More In this paper, we present a deep autoencoder based energy method (DAEM) for the bending, vibration and buckling analysis of Kirchhoff plates. The DAEM exploits the higher order continuity of the DAEM and integrates a deep autoencoder and the minimum total potential principle in one framework yielding an unsupervised feature learning method. The DAEM is a specific type of feedforward deep neural network (DNN) and can also serve as function approximator. With robust feature extraction capacity, the DAEM can more efficiently identify patterns behind the whole energy system, such as the field variables, natural frequency and critical buckling load factor studied in this paper. The objective function is to minimize the total potential energy. The DAEM performs unsupervised learning based on random generated points inside the physical domain so that the total potential energy is minimized at all points. For vibration and buckling analysis, the loss function is constructed based on Rayleigh's principle and the fundamental frequency and the critical buckling load is extracted. A scaled hyperbolic tangent activation function for the underlying mechanical model is presented which meets the continuity requirement and alleviates the gradient vanishing/explosive problems under bending analysis. The DAEM can be easily implemented and we employed the Pytorch library and the LBFGS optimizer. A comprehensive study of the DAEM configuration is performed for several numerical examples with various geometries, load conditions, and boundary conditions. △ Less

Submitted 9 October, 2020; originally announced October 2020.

Comments: European Journal of Mechanics - A/Solids - ISSN 0997-7537

Journal ref: European Journal of Mechanics - A/Solids 87 (2021) 104225

Integrated intelligent Jaya Runge-Kutta method for solving Falkner-Skan equations for Various Wedge Angles

Authors: Hongwei Guo, Xiaoying Zhuang, Xiaoyu Meng, Timon Rabczuk

Abstract: In this work, the hybrid intelligent computing method, which combines efficient Jaya algorithm with classical Runge-Kutta method is applied to solve the Falkner-Skan equations with various wedge angles, which is the fundamental equation for a variety of computational fluid mechanical problems. With some coordinate transformation, the Falkner-Skan boundary layer problem is then converted into a fre… ▽ More In this work, the hybrid intelligent computing method, which combines efficient Jaya algorithm with classical Runge-Kutta method is applied to solve the Falkner-Skan equations with various wedge angles, which is the fundamental equation for a variety of computational fluid mechanical problems. With some coordinate transformation, the Falkner-Skan boundary layer problem is then converted into a free boundary problem defined on a finite interval. Then using higher order reduction strategies, the whole problem can be boiled down to a solving of coupled differential equations with prescribed initial and boundary conditions. The hybrid Jaya Runge-Kutta method is found to yield stable and accurate results and able to extract those unknown parameters. The sensitivity of classical shooting method to the guess of initial values can be easily overcome by an integrated robust optimization method. In addition, the Jaya algorithm, without the need for tuning the algorithm-specific parameters, is proved to be effective and stable for minimizing the fitness function in application. By comparing the solutions using the Jaya method with PSO (particle swarm optimization), Genetic algorithm (GA), Hyperband, and the classical analytical methods, the hybrid Jaya Runge-Kutta method yields more stable and accurate results, which shows great potential for solving more complicated multi-field and multiphase flow problems. △ Less

Submitted 9 October, 2020; originally announced October 2020.

Adaptive directional Haar tight framelets on bounded domains for digraph signal representations

Authors: Yuchen Xiao, Xiaosheng Zhuang

Abstract: Based on hierarchical partitions, we provide the construction of Haar-type tight framelets on any compact set $K\subseteq \mathbb{R}^d$. In particular, on the unit block $[0,1]^d$, such tight framelets can be built to be with adaptivity and directionality. We show that the adaptive directional Haar tight framelet systems can be used for digraph signal representations. Some examples are provided to… ▽ More Based on hierarchical partitions, we provide the construction of Haar-type tight framelets on any compact set $K\subseteq \mathbb{R}^d$. In particular, on the unit block $[0,1]^d$, such tight framelets can be built to be with adaptivity and directionality. We show that the adaptive directional Haar tight framelet systems can be used for digraph signal representations. Some examples are provided to illustrate results in this paper. △ Less

Submitted 27 August, 2020; originally announced August 2020.

Tilting pairs in extriangulated categories

Authors: Tiwei Zhao, Bin Zhu, Xiao Zhuang

Abstract: Extriangulated categories were introduced by Nakaoka and Palu to give a unification of properties in exact categories and extension-closed subcategories of triangulated categories. A notion of tilting pairs in an extriangulated category is introduced in this paper. We give a Bazzoni characterization of tilting pairs in this setting. We also obtain Auslander-Reiten correspondence of tilting pairs w… ▽ More Extriangulated categories were introduced by Nakaoka and Palu to give a unification of properties in exact categories and extension-closed subcategories of triangulated categories. A notion of tilting pairs in an extriangulated category is introduced in this paper. We give a Bazzoni characterization of tilting pairs in this setting. We also obtain Auslander-Reiten correspondence of tilting pairs which classifies finite $\mathcal{C}$-tilting subcategories for a certain self-orthogonal subcategory $\mathcal{C}$ with some assumptions. This generalizes the known results given by Wei and Xi for the categories of finitely generated modules over Artin algebras, thereby providing new insights in exact and triangulated categories. △ Less

Submitted 5 November, 2020; v1 submitted 10 July, 2020; originally announced July 2020.

Comments: 25 pages

Journal ref: Proceedings of the Edinburgh Mathematical Society 64 (2021) 947-981

Grothendieck groups in extriangulated categories

Authors: Bin Zhu, Xiao Zhuang

Abstract: The aim of the paper is to discuss the relation subgroups of the Grothendieck groups of extriangulated categories and certain other subgroups. It is shown that a locally finite extriangulated category $\C$ has Auslander-Reiten $\E-$triangles and the relations of the Grothendieck group $K_{0}(\C)$ are generated by the Auslander-Rieten $\E-$triangles. A partial converse result is given when restrict… ▽ More The aim of the paper is to discuss the relation subgroups of the Grothendieck groups of extriangulated categories and certain other subgroups. It is shown that a locally finite extriangulated category $\C$ has Auslander-Reiten $\E-$triangles and the relations of the Grothendieck group $K_{0}(\C)$ are generated by the Auslander-Rieten $\E-$triangles. A partial converse result is given when restricting to the triangulated categories with a cluster tilting subcategory: in the triangulated category $\C$ with a cluster tilting subcategory, the relations of the Grothendieck group $K_0(\C)$ are generated by Auslander-Reiten triangles if and only if the triangulated category $\C$ is locally finite. It is also shown that there is a one-to-one correspondence between subgroups of $K_{0}(\C)$ containing the image of $\mathcal G$ and dense $\mathcal G-$(co)resolving subcategories of $\C$ where $\mathcal G$ is a generator of $\C,$ which generalizes results about classifying subcategories of a triangulated \cite{t} or an exact category $\C$ \cite{m} by subgroups of $K_{0}(\C)$. △ Less

Submitted 16 December, 2019; v1 submitted 2 December, 2019; originally announced December 2019.

A meshfree formulation for large deformation analysis of flexoelectric structures accounting for the surface effects

Authors: Xiaoying Zhuang, S. S. Nanthakumar, Timon Rabczuk

Abstract: In this work, we present a compactly supported radial basis function (CSRBF) based meshfree method to analyse geometrically nonlinear flexoelectric nanostructures considering surface effects. Flexoelectricity is the polarization of dielectric materials due to the gradient of strain, which is different from piezoelectricity in which polarization is dependent linearly on strain. The surface effects… ▽ More In this work, we present a compactly supported radial basis function (CSRBF) based meshfree method to analyse geometrically nonlinear flexoelectric nanostructures considering surface effects. Flexoelectricity is the polarization of dielectric materials due to the gradient of strain, which is different from piezoelectricity in which polarization is dependent linearly on strain. The surface effects gain prominence as the size of the structure tends to nanoscale and so their consideration is inevitable when flexoelectric nanostructures are analysed. First, the proposed meshfree formulation is validated and the influence of nonlinear strain terms on the energy conversion ability of flexoelectric beams made of a non-piezoelectric material like cubic Strontium Titanate is studied. Subsequently, the meshfree formulation for nonlinear flexoelectricity is extended to include nonlinear surface effects. It is determined that the surface effects can have notable influence on the output flexoelectric voltage of nano-sized cantilever structures in the nonlinear regime. △ Less

Submitted 15 November, 2019; originally announced November 2019.

Comments: 27 pages 15 figures

An Energy Approach to the Solution of Partial Differential Equations in Computational Mechanics via Machine Learning: Concepts, Implementation and Applications

Authors: Esteban Samaniego, Cosmin Anitescu, Somdatta Goswami, Vien Minh Nguyen-Thanh, Hongwei Guo, Khader Hamdia, Timon Rabczuk, Xiaoying Zhuang

Abstract: Partial Differential Equations (PDE) are fundamental to model different phenomena in science and engineering mathematically. Solving them is a crucial step towards a precise knowledge of the behaviour of natural and engineered systems. In general, in order to solve PDEs that represent real systems to an acceptable degree, analytical methods are usually not enough. One has to resort to discretizati… ▽ More Partial Differential Equations (PDE) are fundamental to model different phenomena in science and engineering mathematically. Solving them is a crucial step towards a precise knowledge of the behaviour of natural and engineered systems. In general, in order to solve PDEs that represent real systems to an acceptable degree, analytical methods are usually not enough. One has to resort to discretization methods. For engineering problems, probably the best known option is the finite element method (FEM). However, powerful alternatives such as mesh-free methods and Isogeometric Analysis (IGA) are also available. The fundamental idea is to approximate the solution of the PDE by means of functions specifically built to have some desirable properties. In this contribution, we explore Deep Neural Networks (DNNs) as an option for approximation. They have shown impressive results in areas such as visual recognition. DNNs are regarded here as function approximation machines. There is great flexibility to define their structure and important advances in the architecture and the efficiency of the algorithms to implement them make DNNs a very interesting alternative to approximate the solution of a PDE. We concentrate in applications that have an interest for Computational Mechanics. Most contributions that have decided to explore this possibility have adopted a collocation strategy. In this contribution, we concentrate in mechanical problems and analyze the energetic format of the PDE. The energy of a mechanical system seems to be the natural loss function for a machine learning method to approach a mechanical problem. As proofs of concept, we deal with several problems and explore the capabilities of the method for applications in engineering. △ Less

Submitted 2 September, 2019; v1 submitted 27 August, 2019; originally announced August 2019.

Tilting subcategories in extriangulated categories

Authors: Bin Zhu, Xiao Zhuang

Abstract: Extriangulated category was introduced by Nakaoka and Palu to give a unification of properties in exact categories and triangulated categories. A notion of tilting (or cotilting) subcategories in an extriangulated category is defined in this paper. We give a Bazzoni characterization of tilting (or cotilting) subcategories and obtain an Auslander-Reiten correspondence between tilting (cotilting) su… ▽ More Extriangulated category was introduced by Nakaoka and Palu to give a unification of properties in exact categories and triangulated categories. A notion of tilting (or cotilting) subcategories in an extriangulated category is defined in this paper. We give a Bazzoni characterization of tilting (or cotilting) subcategories and obtain an Auslander-Reiten correspondence between tilting (cotilting) subcategories and coresolving covariantly (resolving contravariantly, resp.) finite subcatgories which are closed under direct summands and satisfies some cogenerating (generating, resp.) conditons. Applications of the results are given: we show that tilting (cotilting) subcategories defined here unify many previous works about tilting theory in module categories of Artin algebras and abelian categories admitting a cotorsion triples; we also show that the results work for triangulated categories with a proper class of triangles introduced by Beligiannis. △ Less

Submitted 28 June, 2019; originally announced July 2019.

Comments: 28 pages, 0 figures. arXiv admin note: text overlap with arXiv:1605.05607, arXiv:1702.00244 by other authors

A surrogate model for computational homogenization of elastostatics at finite strain using the HDMR-based neural network approximator

Authors: Vien Minh Nguyen-Thanh, Lu Trong Khiem Nguyen, Timon Rabczuk, Xiaoying Zhuang

Abstract: We propose a surrogate model for two-scale computational homogenization of elastostatics at finite strains. The macroscopic constitutive law is made numerically available via an explicit formulation of the associated macro-energy density. This energy density is constructed by using a neural network architecture that mimics a high-dimensional model representation. The database for training this net… ▽ More We propose a surrogate model for two-scale computational homogenization of elastostatics at finite strains. The macroscopic constitutive law is made numerically available via an explicit formulation of the associated macro-energy density. This energy density is constructed by using a neural network architecture that mimics a high-dimensional model representation. The database for training this network is assembled through solving a set of microscopic boundary values problems with the prescribed macroscopic deformation gradients (input data) and subsequently retrieving the corresponding averaged energies (output data). Therefore, the two-scale computational procedure for the nonlinear elasticity can be broken down into two solvers for microscopic and macroscopic equilibrium equations that work separately in two stages, called the offline and online stages. A standard finite element method is employed to solve the equilibrium equation at the macroscale. As for mircoscopic problems, an FFT-based collocation method is applied in tandem with the Newton-Raphson iteration and the conjugate-gradient method. Particularly, we solve the microscopic equilibrium equation in the Lippmann-Schwinger form without resorting to the reference medium and thus avoid the fixed-point iteration that might require quite strict numerical stability condition in the nonlinear regime. △ Less

Submitted 5 June, 2019; originally announced June 2019.

Higher order nonlocal operator method

Authors: Huilong Ren, Xiaoying Zhuang, Timon Rabczuk

Abstract: We extend the nonlocal operator method to higher order scheme by using a higher order Taylor series expansion of the unknown field. Such a higher order scheme improves the original nonlocal operator method proposed by the authors in [A nonlocal operator method for solving partial differential equations], which can only achieve one-order convergence. The higher order nonlocal operator method obtain… ▽ More We extend the nonlocal operator method to higher order scheme by using a higher order Taylor series expansion of the unknown field. Such a higher order scheme improves the original nonlocal operator method proposed by the authors in [A nonlocal operator method for solving partial differential equations], which can only achieve one-order convergence. The higher order nonlocal operator method obtains all partial derivatives with specified maximal order simultaneously without resorting to shape functions. The functional based on the nonlocal operators converts the construction of residual and stiffness matrix into a series of matrix multiplication on the nonlocal operator matrix. Several numerical examples solved by strong form or weak form are presented to show the capabilities of this method. △ Less

Submitted 6 May, 2019; originally announced May 2019.

An extended polygonal finite element method for large deformation fracture analysis

Authors: Hai D. Huynh, Phuong Tran, Xiaoying Zhuang, H. Nguyen-Xuan

Abstract: The modeling of large deformation fracture mechanics has been a challenging problem regarding the accuracy of numerical methods and their ability to deal with considerable changes in deformations of meshes where having the presence of cracks. This paper further investigates the extended finite element method (XFEM) for the simulation of large strain fracture for hyper-elastic materials, in particu… ▽ More The modeling of large deformation fracture mechanics has been a challenging problem regarding the accuracy of numerical methods and their ability to deal with considerable changes in deformations of meshes where having the presence of cracks. This paper further investigates the extended finite element method (XFEM) for the simulation of large strain fracture for hyper-elastic materials, in particular rubber ones. A crucial idea is to use a polygonal mesh to represent space of the present numerical technique in advance, and then a local refinement of structured meshes at the vicinity of the discontinuities is additionally established. Due to differences in the size and type of elements at the boundaries of those two regions, hanging nodes produced in the modified mesh are considered as normal nodes in an arbitrarily polygonal element. Conforming these special elements becomes straightforward by the flexible use of basis functions over polygonal elements. Results of this study are shown through several numerical examples to prove its efficiency and accuracy through comparison with former achievements. △ Less

Submitted 20 March, 2019; v1 submitted 9 March, 2019; originally announced March 2019.

A Virtual Element Method for 2D linear elastic fracture analysis

Authors: Vien Minh Nguyen-Thanh, Xiaoying Zhuang, Hung Nguyen-Xuan, Timon Rabczuk, Peter Wriggers

Abstract: This paper presents the Virtual Element Method (VEM) for the modeling of crack propagation in 2D within the context of linear elastic fracture mechanics (LEFM). By exploiting the advantage of mesh flexibility in the VEM, we establish an adaptive mesh refinement strategy based on the superconvergent patch recovery for triangular, quadrilateral as well as for arbitrary polygonal meshes. For the loca… ▽ More This paper presents the Virtual Element Method (VEM) for the modeling of crack propagation in 2D within the context of linear elastic fracture mechanics (LEFM). By exploiting the advantage of mesh flexibility in the VEM, we establish an adaptive mesh refinement strategy based on the superconvergent patch recovery for triangular, quadrilateral as well as for arbitrary polygonal meshes. For the local stiffness matrix in VEM, we adopt a stabilization term which is stable for both isotropic scaling and ratio. Stress intensity factors (SIFs) of a polygonal mesh are discussed and solved by using the interaction domain integral. The present VEM formulations are finally tested and validated by studying its convergence rate for both continuous and discontinuous problems, and are compared with the optimal convergence rate in the conventional Finite Element Method (FEM). Furthermore, the adaptive mesh refinement strategies used to effectively predict the crack growth with the existence of hanging nodes in nonconforming elements are examined. △ Less

Submitted 1 August, 2018; originally announced August 2018.

Journal ref: Computer Methods in Applied Mechanics and Engineering, Elsevier 1 October 2018

Linear multiscale transforms based on even-reversible subdivision operators

Authors: Nira Dyn, Xiaosheng Zhuang

Abstract: Multiscale transforms for real-valued data, based on interpolatory subdivision operators have been studied in recent year. They are easy to define, and can be extended to other types of data, for example to manifold-valued data. In this paper we define linear multiscale transforms, based on certain linear, non-interpolatory subdivision operators, termed "even-reversible". For such operators, we pr… ▽ More Multiscale transforms for real-valued data, based on interpolatory subdivision operators have been studied in recent year. They are easy to define, and can be extended to other types of data, for example to manifold-valued data. In this paper we define linear multiscale transforms, based on certain linear, non-interpolatory subdivision operators, termed "even-reversible". For such operators, we prove, using Wiener's lemma, the existence of an inverse to the linear operator defined by the even part of the subdivision mask, and termed it "even-inverse". We show that the non-interpolatory subdivision operators, with spline or with pseudo-spline masks, are even-reversible, and derive explicitly, for the quadratic and cubic spline subdivision operators, the symbols of the corresponding even-inverse operators. We also analyze properties of the multiscale transforms based on even-reversible subdivision operators, in particular, their stability and the rate of decay of the details. △ Less

Submitted 30 October, 2017; originally announced October 2017.

MSC Class: 42C40; 41A15; 94A12; 93C55; 93C95; 93C30

Explicit Bernstein type inequalities for wavelet coefficients in $L_p(R^n)$

Authors: Susanna Spektor, Xiaosheng Zhuang

Abstract: In this paper, we investigate the wavelet coefficients for function spaces $\mathcal{A}_k^p=\{f: \|(i ω)^k\hat{f}(ω)\|_p\leq 1\}, k\in N, p\in(1,\infty)$ using an important quantity $C_{k,p}(ψ)$. In particular, Bernstein type inequalities associated with wavelets are established. We obtained a sharp inequality of Bernstein type for splines, which induces a lower bound for the quantity… ▽ More In this paper, we investigate the wavelet coefficients for function spaces $\mathcal{A}_k^p=\{f: \|(i ω)^k\hat{f}(ω)\|_p\leq 1\}, k\in N, p\in(1,\infty)$ using an important quantity $C_{k,p}(ψ)$. In particular, Bernstein type inequalities associated with wavelets are established. We obtained a sharp inequality of Bernstein type for splines, which induces a lower bound for the quantity $C_{k,p}(ψ)$ with $ψ$ being the semiorthogonal spline wavelets. We also study the asymptotic behavior of wavelet coefficients for both the family of Daubechies orthonormal wavelets and the family of semiorthogonal spline wavelets. Comparison of these two families is done by using the quantity $C_{k,p}(ψ)$. △ Less

Submitted 28 August, 2017; originally announced August 2017.

Journal ref: Methods and Applications of Analysis, Vol. 19, No. 3 (2012), 289-312

Tight framelets and fast framelet filter bank transforms on manifolds

Authors: Yu Guang Wang, Xiaosheng Zhuang

Abstract: Tight framelets on a smooth and compact Riemannian manifold $\mathcal{M}$ provide a tool of multiresolution analysis for data from geosciences, astrophysics, medical sciences, etc. This work investigates the construction, characterizations, and applications of tight framelets on such a manifold $\mathcal{M}$. Characterizations of the tightness of a sequence of framelet systems for… ▽ More Tight framelets on a smooth and compact Riemannian manifold $\mathcal{M}$ provide a tool of multiresolution analysis for data from geosciences, astrophysics, medical sciences, etc. This work investigates the construction, characterizations, and applications of tight framelets on such a manifold $\mathcal{M}$. Characterizations of the tightness of a sequence of framelet systems for $L_{2}(\mathcal{M})$ in both the continuous and semi-discrete settings are provided. Tight framelets associated with framelet filter banks on $\mathcal{M}$ can then be easily designed and fast framelet filter bank transforms on $\mathcal{M}$ are shown to be realizable with nearly linear computational complexity. Explicit construction of tight framelets on the sphere $\mathbb{S}^{2}$ as well as numerical examples are given. △ Less

Submitted 1 March, 2018; v1 submitted 13 August, 2016; originally announced August 2016.

Comments: 29 pages, 8 figures, 1 table

MSC Class: 42C15; 42C40; 42B05; 41A55; 57N99; 58C35; 94A12; 94C15; 93C55; 93C95

Representation of functions on big data associated with directed graphs

Authors: Charles K. Chui, H. N. Mhaskar, Xiaosheng Zhuang

Abstract: This paper is an extension of the previous work of Chui, Filbir, and Mhaskar (Appl. Comput. Harm. Anal. 38 (3) 2015:489-509), not only from numeric data to include non-numeric data as in that paper, but also from undirected graphs to directed graphs (called digraphs, for simplicity). Besides theoretical development, this paper introduces effective mathematical tools in terms of certain data-depend… ▽ More This paper is an extension of the previous work of Chui, Filbir, and Mhaskar (Appl. Comput. Harm. Anal. 38 (3) 2015:489-509), not only from numeric data to include non-numeric data as in that paper, but also from undirected graphs to directed graphs (called digraphs, for simplicity). Besides theoretical development, this paper introduces effective mathematical tools in terms of certain data-dependent orthogonal systems for function representation and analysis directly on the digraphs. In addition, this paper also includes algorithmic development and discussion of various experimental results on such data-sets as CORA, Proposition, and Wiki-votes. △ Less

Submitted 12 November, 2016; v1 submitted 15 July, 2016; originally announced July 2016.

Comments: 19 pages, submitted for publication on June 12, 2016; revision submitted Nov. 12, 2016, 20 pages

Poincaré polynomials of moduli spaces of stable maps into flag manifolds

Authors: Xiaobo Zhuang

Abstract: By using Oprea's Bialynicki-Birula decomposition for the stack of genus zero stable maps to flag manifolds. We calculate the Poincaré polynomial of the moduli space in degree one and degree two. By using Oprea's Bialynicki-Birula decomposition for the stack of genus zero stable maps to flag manifolds. We calculate the Poincaré polynomial of the moduli space in degree one and degree two. △ Less

Submitted 19 January, 2016; v1 submitted 16 January, 2016; originally announced January 2016.

Comments: typos corrected

Smooth affine shear tight frames with MRA structure

Authors: Bin Han, Xiaosheng Zhuang

Abstract: Finding efficient representations is one of the most challenging and heavily sought problems in mathematics. Representation using shearlets recently receives a lot of attention due to their desirable properties in both theory and applications. Using the framework of frequency-based affine systems, in this paper we introduce and systematically study affine shear tight frames which include all known… ▽ More Finding efficient representations is one of the most challenging and heavily sought problems in mathematics. Representation using shearlets recently receives a lot of attention due to their desirable properties in both theory and applications. Using the framework of frequency-based affine systems, in this paper we introduce and systematically study affine shear tight frames which include all known shearlet tight frames as special cases. Our results in this paper will resolve several key questions on shearlets. We provide a complete characterization for an affine shear tight frame and then use it to obtain smooth affine shear tight frames with all their generators in the Schwarz class. Though multiresolution analysis (MRA) is the foundation and key feature of wavelet analysis for fast numerical implementation of a wavelet transform, all the known shearlets so far do not possess any MRA structure and filter banks. In order to study affine shear tight frames with MRA structure, we introduce the notion of a sequence of affine shear tight frames and then we provide a complete characterization for it. Based on our characterizations, we present two different approaches, i.e., non-stationary and quasi-stationary, for the construction of sequences of affine shear tight frames with MRA structure such that all their generators are smooth (in the Schwarz class) and they have underlying filter banks. Consequently, their associated transforms can be efficiently implemented using filter banks similarly as a fast wavelet transform does. △ Less

Submitted 28 August, 2013; originally announced August 2013.

MSC Class: 42C40; 41A05; 42C15; 65T60

Gabor Shearlets

Authors: Bernhard G. Bodmann, Gitta Kutyniok, Xiaosheng Zhuang

Abstract: In this paper, we introduce Gabor shearlets, a variant of shearlet systems, which are based on a different group representation than previous shearlet constructions: they combine elements from Gabor and wavelet frames in their construction. As a consequence, they can be implemented with standard filters from wavelet theory in combination with standard Gabor windows. Unlike the usual shearlets, the… ▽ More In this paper, we introduce Gabor shearlets, a variant of shearlet systems, which are based on a different group representation than previous shearlet constructions: they combine elements from Gabor and wavelet frames in their construction. As a consequence, they can be implemented with standard filters from wavelet theory in combination with standard Gabor windows. Unlike the usual shearlets, the new construction can achieve a redundancy as close to one as desired. Our construction follows the general strategy for shearlets. First we define group-based Gabor shearlets and then modify them to a cone-adapted version. In combination with Meyer filters, the cone-adapted Gabor shearlets constitute a tight frame and provide low-redundancy sparse approximations of the common model class of anisotropic features which are cartoon-like functions. △ Less

Submitted 26 March, 2013; originally announced March 2013.

Comments: 24 pages, AMS LaTeX, 4 figures

MSC Class: 42C40; 41A05; 42C15; 65T60

Spread spectrum compressed sensing MRI using chirp radio frequency pulses

Authors: Xiaobo Qu, Ying Chen, Xiaoxing Zhuang, Zhiyu Yan, Di Guo, Zhong Chen

Abstract: Compressed sensing has shown great potential in reducing data acquisition time in magnetic resonance imaging (MRI). Recently, a spread spectrum compressed sensing MRI method modulates an image with a quadratic phase. It performs better than the conventional compressed sensing MRI with variable density sampling, since the coherence between the sensing and sparsity bases are reduced. However, spread… ▽ More Compressed sensing has shown great potential in reducing data acquisition time in magnetic resonance imaging (MRI). Recently, a spread spectrum compressed sensing MRI method modulates an image with a quadratic phase. It performs better than the conventional compressed sensing MRI with variable density sampling, since the coherence between the sensing and sparsity bases are reduced. However, spread spectrum in that method is implemented via a shim coil which limits its modulation intensity and is not convenient to operate. In this letter, we propose to apply chirp (linear frequency-swept) radio frequency pulses to easily control the spread spectrum. To accelerate the image reconstruction, an alternating direction algorithm is modified by exploiting the complex orthogonality of the quadratic phase encoding. Reconstruction on the acquired data demonstrates that more image features are preserved using the proposed approach than those of conventional CS-MRI. △ Less

Submitted 23 January, 2013; originally announced January 2013.

Comments: 4 pages, 4 figures

Analysis of Inpainting via Clustered Sparsity and Microlocal Analysis

Authors: Emily J. King, Gitta Kutyniok, Xiaosheng Zhuang

Abstract: Recently, compressed sensing techniques in combination with both wavelet and directional representation systems have been very effectively applied to the problem of image inpainting. However, a mathematical analysis of these techniques which reveals the underlying geometrical content is completely missing. In this paper, we provide the first comprehensive analysis in the continuum domain utilizing… ▽ More Recently, compressed sensing techniques in combination with both wavelet and directional representation systems have been very effectively applied to the problem of image inpainting. However, a mathematical analysis of these techniques which reveals the underlying geometrical content is completely missing. In this paper, we provide the first comprehensive analysis in the continuum domain utilizing the novel concept of clustered sparsity, which besides leading to asymptotic error bounds also makes the superior behavior of directional representation systems over wavelets precise. First, we propose an abstract model for problems of data recovery and derive error bounds for two different recovery schemes, namely l_1 minimization and thresholding. Second, we set up a particular microlocal model for an image governed by edges inspired by seismic data as well as a particular mask to model the missing data, namely a linear singularity masked by a horizontal strip. Applying the abstract estimate in the case of wavelets and of shearlets we prove that -- provided the size of the missing part is asymptotically to the size of the analyzing functions -- asymptotically precise inpainting can be obtained for this model. Finally, we show that shearlets can fill strictly larger gaps than wavelets in this model. △ Less

Submitted 28 November, 2012; v1 submitted 12 June, 2012; originally announced June 2012.

Comments: 49 pages, 9 Figures

MSC Class: 41A65; 68P30; 68U10

Digital Shearlet Transform

Authors: Gitta Kutyniok, Wang-Q Lim, Xiaosheng Zhuang

Abstract: Over the past years, various representation systems which sparsely approximate functions governed by anisotropic features such as edges in images have been proposed. We exemplarily mention the systems of contourlets, curvelets, and shearlets. Alongside the theoretical development of these systems, algorithmic realizations of the associated transforms were provided. However, one of the most common… ▽ More Over the past years, various representation systems which sparsely approximate functions governed by anisotropic features such as edges in images have been proposed. We exemplarily mention the systems of contourlets, curvelets, and shearlets. Alongside the theoretical development of these systems, algorithmic realizations of the associated transforms were provided. However, one of the most common shortcomings of these frameworks is the lack of providing a unified treatment of the continuum and digital world, i.e., allowing a digital theory to be a natural digitization of the continuum theory. In fact, shearlet systems are the only systems so far which satisfy this property, yet still deliver optimally sparse approximations of cartoon-like images. In this chapter, we provide an introduction to digital shearlet theory with a particular focus on a unified treatment of the continuum and digital realm. In our survey we will present the implementations of two shearlet transforms, one based on band-limited shearlets and the other based on compactly supported shearlets. We will moreover discuss various quantitative measures, which allow an objective comparison with other directional transforms and an objective tuning of parameters. The codes for both presented transforms as well as the framework for quantifying performance are provided in the Matlab toolbox ShearLab. △ Less

Submitted 1 August, 2011; originally announced August 2011.

Comments: arXiv admin note: substantial text overlap with arXiv:1106.2052

Digital Shearlet Transforms

Authors: G. Kutyniok, W. -Q Lim, X. Zhuang

Abstract: Over the past years, various representation systems which sparsely approximate functions governed by anisotropic features such as edges in images have been proposed. We exemplarily mention the systems of contourlets, curvelets, and shearlets. Alongside the theoretical development of these systems, algorithmic realizations of the associated transforms were provided. However, one of the most common… ▽ More Over the past years, various representation systems which sparsely approximate functions governed by anisotropic features such as edges in images have been proposed. We exemplarily mention the systems of contourlets, curvelets, and shearlets. Alongside the theoretical development of these systems, algorithmic realizations of the associated transforms were provided. However, one of the most common shortcomings of these frameworks is the lack of providing a unified treatment of the continuum and digital world, i.e., allowing a digital theory to be a natural digitization of the continuum theory. In fact, shearlet systems are the only systems so far which satisfy this property, yet still deliver optimally sparse approximations of cartoon-like images. In this chapter, we provide an introduction to digital shearlet theory with a particular focus on a unified treatment of the continuum and digital realm. In our survey we will present the implementations of two shearlet transforms, one based on band-limited shearlets and the other based on compactly supported shearlets. We will moreover discuss various quantitative measures, which allow an objective comparison with other directional transforms and an objective tuning of parameters. The codes for both presented transforms as well as the framework for quantifying performance are provided in the Matlab toolbox ShearLab. △ Less

Submitted 10 June, 2011; originally announced June 2011.

MSC Class: 65T60; 68U10

ShearLab: A Rational Design of a Digital Parabolic Scaling Algorithm

Authors: Gitta Kutyniok, Morteza Shahram, Xiaosheng Zhuang

Abstract: Multivariate problems are typically governed by anisotropic features such as edges in images. A common bracket of most of the various directional representation systems which have been proposed to deliver sparse approximations of such features is the utilization of parabolic scaling. One prominent example is the shearlet system. Our objective in this paper is three-fold: We firstly develop a digit… ▽ More Multivariate problems are typically governed by anisotropic features such as edges in images. A common bracket of most of the various directional representation systems which have been proposed to deliver sparse approximations of such features is the utilization of parabolic scaling. One prominent example is the shearlet system. Our objective in this paper is three-fold: We firstly develop a digital shearlet theory which is rationally designed in the sense that it is the digitization of the existing shearlet theory for continuous data. This implicates that shearlet theory provides a unified treatment of both the continuum and digital realm. Secondly, we analyze the utilization of pseudo-polar grids and the pseudo-polar Fourier transform for digital implementations of parabolic scaling algorithms. We derive an isometric pseudo-polar Fourier transform by careful weighting of the pseudo-polar grid, allowing exploitation of its adjoint for the inverse transform. This leads to a digital implementation of the shearlet transform; an accompanying Matlab toolbox called ShearLab is provided. And, thirdly, we introduce various quantitative measures for digital parabolic scaling algorithms in general, allowing one to tune parameters and objectively improve the implementation as well as compare different directional transform implementations. The usefulness of such measures is exemplarily demonstrated for the digital shearlet transform. △ Less

Submitted 7 June, 2011; originally announced June 2011.

Comments: submitted to SIAM J. Multiscale Model. Simul

MSC Class: 42C40; 41A05; 41A15; 42B05; 65T60

Matrix Extension with Symmetry and Construction of Biorthogonal Multiwavelets

Authors: Xiaosheng Zhuang

Abstract: Let $(\pP,\wt\pP)$ be a pair of $r \times s$ matrices of Laurent polynomials with symmetry such that $\pP(z) \wt\pP^*(z)=I_\mrow$ for all $z\in \CC \bs \{0\}$ and both $\pP$ and $\wt\pP$ have the same symmetry pattern that is compatible. The biorthogonal matrix extension problem with symmetry is to find a pair of $s \times s$ square matrices $(\pP_e,\wt\pP_e)$ of Laurent polynomials with symmetry… ▽ More Let $(\pP,\wt\pP)$ be a pair of $r \times s$ matrices of Laurent polynomials with symmetry such that $\pP(z) \wt\pP^*(z)=I_\mrow$ for all $z\in \CC \bs \{0\}$ and both $\pP$ and $\wt\pP$ have the same symmetry pattern that is compatible. The biorthogonal matrix extension problem with symmetry is to find a pair of $s \times s$ square matrices $(\pP_e,\wt\pP_e)$ of Laurent polynomials with symmetry such that $[I_r, \mathbf{0}] \pP_e =\pP$ and $[I_r,\mathbf{0}]\wt\pP_e=\wt\pP$ (that is, the submatrix of the first $r$ rows of $\pP_e,\wt\pP_e$ is the given matrix $\pP,\wt\pP$, respectively), $\pP_e$ and $\wt\pP_e$ are biorthogonal satisfying $\pP_e(z)\wt\pP_e^*(z)=I_\mcol$ for all $z\in \CC \bs \{0\}$, and $\pP_e,\wt\pP_e$ have the same compatible symmetry. In this paper, we satisfactorily solve this matrix extension problem with symmetry by constructing the desired pair of extension matrices $(\pP_e,\wt\pP_e)$ from the given pair of matrices $(\pP,\wt\pP)$. Matrix extension plays an important role in many areas such as wavelet analysis, electronic engineering, system sciences, and so on. As an application of our general results on matrix extension with symmetry, we obtain a satisfactory algorithm for constructing symmetric biorthogonal multiwavelets by deriving high-pass filters with symmetry from any given pair of biorthgonal low-pass filters with symmetry. Several examples of symmetric biorthogonal multiwavelets are provided to illustrate the results in this paper. △ Less

Submitted 11 June, 2010; originally announced June 2010.

Construction of Symmetric Complex Tight wavelet Frames from Pseudo Splines via Matrix Extension with Symmetry

Authors: Xiaosheng Zhuang

Abstract: Construction of Symmetric Complex Tight wavelet Frames from Pseudo Splines via Matrix Extension with Symmetry. Construction of Symmetric Complex Tight wavelet Frames from Pseudo Splines via Matrix Extension with Symmetry. △ Less

Submitted 17 March, 2010; originally announced March 2010.

Matrix Extension with Symmetry and Its Application to Filter Banks

Authors: Bin Han, Xiaosheng Zhuang

Abstract: In this paper, we completely solve the matrix extension problem with symmetry and provide a step-by-step algorithm to construct such a desired matrix $\mathsf{P}_e$ from a given matrix $\mathsf{P}$. Furthermore, using a cascade structure, we obtain a complete representation of any $r\times s$ paraunitary matrix $\mathsf{P}$ having compatible symmetry, which in turn leads to an algorithm for deri… ▽ More In this paper, we completely solve the matrix extension problem with symmetry and provide a step-by-step algorithm to construct such a desired matrix $\mathsf{P}_e$ from a given matrix $\mathsf{P}$. Furthermore, using a cascade structure, we obtain a complete representation of any $r\times s$ paraunitary matrix $\mathsf{P}$ having compatible symmetry, which in turn leads to an algorithm for deriving a desired matrix $\mathsf{P}_e$ from a given matrix $\mathsf{P}$. Matrix extension plays an important role in many areas such as electronic engineering, system sciences, applied mathematics, and pure mathematics. As an application of our general results on matrix extension with symmetry, we obtain a satisfactory algorithm for constructing symmetric paraunitary filter banks and symmetric orthonormal multiwavelets by deriving high-pass filters with symmetry from any given low-pass filters with symmetry. Several examples are provided to illustrate the proposed algorithms and results in this paper. △ Less

Submitted 7 January, 2010; originally announced January 2010.

MSC Class: 15A83; 15A54; 42C40; 15A23