-
Constraint Energy Minimizing GMsFEM for Helmholtz equations in heterogeneous medium
Authors:
Xingguang **,
Changqing Ye,
Eric T. Chung
Abstract:
In this paper, we provide the constraint energy minimization generalized multiscale finite element method (CEM-GMsFEM) to solve Helmholtz equations in heterogeneous medium. This novel multiscale method is specifically designed to overcome problems related to pollution effect, high-contrast coefficients, and the loss of hermiticity of operators. We establish the inf-sup stability and give an a prio…
▽ More
In this paper, we provide the constraint energy minimization generalized multiscale finite element method (CEM-GMsFEM) to solve Helmholtz equations in heterogeneous medium. This novel multiscale method is specifically designed to overcome problems related to pollution effect, high-contrast coefficients, and the loss of hermiticity of operators. We establish the inf-sup stability and give an a priori error estimate for this method under a number of established assumptions and resolution conditions. The theoretical results are validated by a set of numerical tests, which further show that the multiscale technique can effectively capture pertinent physical phenomena.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
An iterative constraint energy minimizing generalized multiscale finite element method for contact problem
Authors:
Zishang Li,
Changqing Ye,
Eric T. Chung
Abstract:
This work presents an Iterative Constraint Energy Minimizing Generalized Multiscale Finite Element Method (ICEM-GMsFEM) for solving the contact problem with high contrast coefficients. The model problem can be characterized by a variational inequality, where we add a penalty term to convert this problem into a non-smooth and non-linear unconstrained minimizing problem. The characterization of the…
▽ More
This work presents an Iterative Constraint Energy Minimizing Generalized Multiscale Finite Element Method (ICEM-GMsFEM) for solving the contact problem with high contrast coefficients. The model problem can be characterized by a variational inequality, where we add a penalty term to convert this problem into a non-smooth and non-linear unconstrained minimizing problem. The characterization of the minimizer satisfies the variational form of a mixed Dirilect-Neumann-Robin boundary value problem. So we apply CEM-GMsFEM iteratively and introduce special boundary correctors along with multiscale spaces to achieve an optimal convergence rate. Numerical results are conducted for different highly heterogeneous permeability fields, validating the fast convergence of the CEM-GMsFEM iteration in handling the contact boundary and illustrating the stability of the proposed method with different sets of parameters. We also prove the fast convergence of the proposed iterative CEM-GMsFEM method and provide an error estimate of the multiscale solution under a mild assumption.
△ Less
Submitted 5 June, 2024;
originally announced June 2024.
-
A fast cosine transformation accelerated method for predicting effective thermal conductivity
Authors:
Changqing Ye,
Shubin Fu,
Eric T. Chung
Abstract:
Predicting effective thermal conductivity by solving a Partial Differential Equation (PDE) defined on a high-resolution Representative Volume Element (RVE) is a computationally intensive task. In this paper, we tackle the task by proposing an efficient and implementation-friendly computational method that can fully leverage the computing power offered by hardware accelerators, namely, graphical pr…
▽ More
Predicting effective thermal conductivity by solving a Partial Differential Equation (PDE) defined on a high-resolution Representative Volume Element (RVE) is a computationally intensive task. In this paper, we tackle the task by proposing an efficient and implementation-friendly computational method that can fully leverage the computing power offered by hardware accelerators, namely, graphical processing units (GPUs). We first employ the Two-Point Flux-Approximation scheme to discretize the PDE and then utilize the preconditioned conjugate gradient method to solve the resulting algebraic linear system. The construction of the preconditioner originates from FFT-based homogenization methods, and an engineered linear programming technique is utilized to determine the homogeneous reference parameters. The fundamental observation presented in this paper is that the preconditioner system can be effectively solved using multiple Fast Cosine Transformations (FCT) and parallel tridiagonal matrix solvers. Regarding the fact that default multiple FCTs are unavailable on the CUDA platform, we detail how to derive FCTs from FFTs with nearly optimal memory usage. Numerical experiments including the stability comparison with standard preconditioners are conducted for 3D RVEs. Our performance reports indicate that the proposed method can achieve a $5$-fold acceleration on the GPU platform over the pure CPU platform and solve the problems with $512^3$ degrees of freedom and reasonable contrast ratios in less than $30$ seconds.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
A robust two-level overlap** preconditioner for Darcy flow in high-contrast media
Authors:
Changqing Ye,
Shubin Fu,
Eric T. Chung,
Jizu Huang
Abstract:
In this article, a two-level overlap** domain decomposition preconditioner is developed for solving linear algebraic systems obtained from simulating Darcy flow in high-contrast media. Our preconditioner starts at a mixed finite element method for discretizing the partial differential equation by Darcy's law with the no-flux boundary condition and is then followed by a velocity elimination techn…
▽ More
In this article, a two-level overlap** domain decomposition preconditioner is developed for solving linear algebraic systems obtained from simulating Darcy flow in high-contrast media. Our preconditioner starts at a mixed finite element method for discretizing the partial differential equation by Darcy's law with the no-flux boundary condition and is then followed by a velocity elimination technique to yield a linear algebraic system with only unknowns of pressure. Then, our main objective is to design a robust and efficient domain decomposition preconditioner for this system, which is accomplished by engineering a multiscale coarse space that is capable of characterizing high-contrast features of the permeability field. A generalized eigenvalue problem is solved in each non-overlap** coarse element in a communication-free manner to form the global solver, which is accompanied by local solvers originated from additive Schwarz methods but with a non-Galerkin discretization to derive the two-level preconditioner. We provide a rigorous analysis that indicates that the condition number of the preconditioned system could be bounded above with several assumptions. Extensive numerical experiments with various types of three-dimensional high-contrast models are exhibited. In particular, we study the robustness against the contrast of the media as well as the influences of numbers of eigenfunctions, oversampling sizes, and subdomain partitions on the efficiency of the proposed preconditioner. Besides, strong and weak scalability performances are also examined.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
An efficient multiscale multigrid preconditioner for Darcy flow in high-contrast media
Authors:
Changqing Ye,
Shubin Fu,
Eric T. Chung,
Jizu Huang
Abstract:
In this paper, we develop a multigrid preconditioner to solve Darcy flow in highly heterogeneous porous media. The key component of the preconditioner is to construct a sequence of nested subspaces $W_{\mathcal{L}}\subset W_{\mathcal{L}-1}\subset\cdots\subset W_1=W_h$. An appropriate spectral problem is defined in the space of $W_{i-1}$, then the eigenfunctions of the spectral problems are utilize…
▽ More
In this paper, we develop a multigrid preconditioner to solve Darcy flow in highly heterogeneous porous media. The key component of the preconditioner is to construct a sequence of nested subspaces $W_{\mathcal{L}}\subset W_{\mathcal{L}-1}\subset\cdots\subset W_1=W_h$. An appropriate spectral problem is defined in the space of $W_{i-1}$, then the eigenfunctions of the spectral problems are utilized to form $W_i$. The preconditioner is applied to solve a positive semidefinite linear system which results from discretizing the Darcy flow equation with the lowest order Raviart-Thomas spaces and adopting a trapezoidal quadrature rule. Theoretical analysis and numerical investigations of this preconditioner will be presented. In particular, we will consider several typical highly heterogeneous permeability fields whose resolutions are up to $1024^3$ and examine the computational performance of the preconditioner in several aspects, such as strong scalability, weak scalability, and robustness against the contrast of the media. We also demonstrate an application of this preconditioner for solving a two-phase flow benchmark problem.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
Numerical analysis of a FE/SAV scheme for a Caginalp phase field model with mechanical effects in stereolithography
Authors:
Xingguang **,
Kei Fong Lam,
Changqing Ye
Abstract:
In this work we propose a phase field model based on a Caginalp system with mechanical effects to study the underlying physical and chemical processes behind stereolithography, which is an additive manufacturing (3D printing) technique that builds objects in a layer-by-layer fashion by using an ultraviolet laser to solidify liquid polymer resins. Existence of weak solutions is established by demon…
▽ More
In this work we propose a phase field model based on a Caginalp system with mechanical effects to study the underlying physical and chemical processes behind stereolithography, which is an additive manufacturing (3D printing) technique that builds objects in a layer-by-layer fashion by using an ultraviolet laser to solidify liquid polymer resins. Existence of weak solutions is established by demonstrating the convergence of a numerical scheme based on a first order scalar auxiliary variable temporal discretization and a finite element spatial discretization. We further establish uniqueness and regularity of solutions, as well as optimal error estimates for the Caginalp system that are supported by numerical simulations. We also present some qualitative two-dimensional simulations of the stereolithography processes captured by the model.
△ Less
Submitted 26 March, 2024;
originally announced March 2024.
-
Local derivations and local automorphisms on the super Virasoro algebras
Authors:
Qingyan Wu,
Shoulan Gao,
Dong Liu,
Chang Ye
Abstract:
This paper aims to study the local derivations, 2-local automorphisms and local automorphisms on the super-Virasoro algebras. The primary focus is to establish that every local derivation of the super-Virasoro algebras is indeed a derivation, and to demonstrate that every local or 2-local automorphism of the super-Virasoro algebras is an automorphism.
This paper aims to study the local derivations, 2-local automorphisms and local automorphisms on the super-Virasoro algebras. The primary focus is to establish that every local derivation of the super-Virasoro algebras is indeed a derivation, and to demonstrate that every local or 2-local automorphism of the super-Virasoro algebras is an automorphism.
△ Less
Submitted 10 January, 2024; v1 submitted 11 February, 2023;
originally announced February 2023.
-
A multiscale method for inhomogeneous elastic problems with high contrast coefficients
Authors:
Zhongqian Wang,
Changqing Ye,
Eric T. Chung
Abstract:
In this paper, we develop the constrained energy minimizing generalized multiscale finite element method (CEM-GMsFEM) with mixed boundary conditions (Dirichlet and Neumann) for the elasticity equations in high contrast media. By a special treatment of mixed boundary conditions separately, and combining the construction of the relaxed and constraint version of the CEM-GMsFEM, we discover that the m…
▽ More
In this paper, we develop the constrained energy minimizing generalized multiscale finite element method (CEM-GMsFEM) with mixed boundary conditions (Dirichlet and Neumann) for the elasticity equations in high contrast media. By a special treatment of mixed boundary conditions separately, and combining the construction of the relaxed and constraint version of the CEM-GMsFEM, we discover that the method offers some advantages such as the independence of the target region's contrast from precision, while the sizes of oversampling domains have a significant impact on numerical accuracy. Moreover, to our best knowledge, this is the first proof of the convergence of the CEM-GMsFEM with mixed boundary conditions for the elasticity equations given. Some numerical experiments are provided to demonstrate the method's performance.
△ Less
Submitted 20 October, 2022;
originally announced October 2022.
-
Homogenization with quasistatic Tresca's friction law: qualitative and quantitative results
Authors:
Changqing Ye,
Eric T. Chung,
Junzhi Cui
Abstract:
Modeling of frictional contacts is crucial for investigating mechanical performances of composite materials under varying service environments. The paper considers a linear elasticity system with strongly heterogeneous coefficients and quasistatic Tresca friction law, and studies the homogenization theories under the frameworks of H-convergence and small $ε$-periodicity. The qualitative result is…
▽ More
Modeling of frictional contacts is crucial for investigating mechanical performances of composite materials under varying service environments. The paper considers a linear elasticity system with strongly heterogeneous coefficients and quasistatic Tresca friction law, and studies the homogenization theories under the frameworks of H-convergence and small $ε$-periodicity. The qualitative result is based on H-convergence, which shows the original oscillating solutions will converge weakly to the homogenized solution, while our quantitative result provides an estimate of asymptotic errors in $H^1$-norm for the periodic homogenization. This paper also designs several numerical experiments to validate the convergence rates in the quantitative analysis.
△ Less
Submitted 20 July, 2023; v1 submitted 20 April, 2022;
originally announced April 2022.
-
Constraint energy minimizing generalized multiscale finite element method for inhomogeneous boundary value problems with high contrast coefficients
Authors:
Changqing Ye,
Eric T. Chung
Abstract:
In this article we develop the Constraint Energy Minimizing Generalized Multiscale Finite Element Method (CEM-GMsFEM) for elliptic partial differential equations with inhomogeneous Dirichlet, Neumann, and Robin boundary conditions, and the high contrast property emerges from the coefficients of elliptic operators and Robin boundary conditions. By careful construction of multiscale bases of the CEM…
▽ More
In this article we develop the Constraint Energy Minimizing Generalized Multiscale Finite Element Method (CEM-GMsFEM) for elliptic partial differential equations with inhomogeneous Dirichlet, Neumann, and Robin boundary conditions, and the high contrast property emerges from the coefficients of elliptic operators and Robin boundary conditions. By careful construction of multiscale bases of the CEM-GMsFEM, we introduce two operators $\mathcal{D}^m$ and $\mathcal{N}^m$ which are used to handle inhomogeneous Dirichlet and Neumann boundary values and are also proved to converge independently of contrast ratios as enlarging oversampling regions. We provide a priori error estimate and show that oversampling layers are the key factor in controlling numerical errors. A series of experiments are conducted, and those results reflect the reliability of our methods even with high contrast ratios.
△ Less
Submitted 13 January, 2022;
originally announced January 2022.
-
Numerical analysis of several FFT-based schemes for computational homogenization
Authors:
Changqing Ye,
Eric T. Chung
Abstract:
We study the convergences of several FFT-based schemes that are widely applied in computational homogenization for deriving effective coefficients, and the term "convergence" here means the limiting behaviors as spatial resolutions going to infinity. Those schemes include Moulinec-Suquent's scheme [Comput Method Appl M, 157 (1998), pp. 69-94], Willot's scheme [Comptes Rendus Mécanique, 343 (2015),…
▽ More
We study the convergences of several FFT-based schemes that are widely applied in computational homogenization for deriving effective coefficients, and the term "convergence" here means the limiting behaviors as spatial resolutions going to infinity. Those schemes include Moulinec-Suquent's scheme [Comput Method Appl M, 157 (1998), pp. 69-94], Willot's scheme [Comptes Rendus Mécanique, 343 (2015), pp. 232-245], and the FEM scheme [Int J Numer Meth Eng, 109 (2017), pp. 1461-1489]. Under some reasonable assumptions, we prove that the effective coefficients obtained by those schemes are all convergent to the theoretical ones. Moreover, for the FEM scheme, we can present several convergence rate estimates under additional regularity assumptions.
△ Less
Submitted 5 January, 2022;
originally announced January 2022.
-
Performance Analysis of Fractional Learning Algorithms
Authors:
Abdul Wahab,
Shujaat Khan,
Imran Naseem,
Jong Chul Ye
Abstract:
Fractional learning algorithms are trending in signal processing and adaptive filtering recently. However, it is unclear whether the proclaimed superiority over conventional algorithms is well-grounded or is a myth as their performance has never been extensively analyzed. In this article, a rigorous analysis of fractional variants of the least mean squares and steepest descent algorithms is perfor…
▽ More
Fractional learning algorithms are trending in signal processing and adaptive filtering recently. However, it is unclear whether the proclaimed superiority over conventional algorithms is well-grounded or is a myth as their performance has never been extensively analyzed. In this article, a rigorous analysis of fractional variants of the least mean squares and steepest descent algorithms is performed. Some critical schematic kinks in fractional learning algorithms are identified. Their origins and consequences on the performance of the learning algorithms are discussed and swift ready-witted remedies are proposed. Apposite numerical experiments are conducted to discuss the convergence and efficiency of the fractional learning algorithms in stochastic environments.
△ Less
Submitted 11 October, 2021;
originally announced October 2021.
-
Optimal Hardy inequalities associated with multipolar Schrödinger operators
Authors:
Yongyang **,
Li Tang,
Can Ye,
Shoufeng Shen
Abstract:
We proved some optimal Hardy inequalities in RNwhich is closely related to multipolar Schrödinger operators with mean-value type potentials, these sharp inequalities imply some multipolar type Heisenberg inequalities. We also obtained someimproved multipolar Hardy inequalities on bounded domains, moreover, we got the range of the best Hardy constant for a specific Hardy inequality.
We proved some optimal Hardy inequalities in RNwhich is closely related to multipolar Schrödinger operators with mean-value type potentials, these sharp inequalities imply some multipolar type Heisenberg inequalities. We also obtained someimproved multipolar Hardy inequalities on bounded domains, moreover, we got the range of the best Hardy constant for a specific Hardy inequality.
△ Less
Submitted 12 July, 2021;
originally announced July 2021.
-
Doubly robust estimation for conditional treatment effect: a study on asymptotics
Authors:
Chuyun Ye,
Keli Guo,
Lixing Zhu
Abstract:
In this paper, we apply doubly robust approach to estimate, when some covariates are given, the conditional average treatment effect under parametric, semiparametric and nonparametric structure of the nuisance propensity score and outcome regression models. We then conduct a systematic study on the asymptotic distributions of nine estimators with different combinations of estimated propensity scor…
▽ More
In this paper, we apply doubly robust approach to estimate, when some covariates are given, the conditional average treatment effect under parametric, semiparametric and nonparametric structure of the nuisance propensity score and outcome regression models. We then conduct a systematic study on the asymptotic distributions of nine estimators with different combinations of estimated propensity score and outcome regressions. The study covers the asymptotic properties with all models correctly specified; with either propensity score or outcome regressions locally / globally misspecified; and with all models locally / globally misspecified. The asymptotic variances are compared and the asymptotic bias correction under model-misspecification is discussed. The phenomenon that the asymptotic variance, with model-misspecification, could sometimes be even smaller than that with all models correctly specified is explored. We also conduct a numerical study to examine the theoretical results.
△ Less
Submitted 11 September, 2020;
originally announced September 2020.
-
The g-extra connectivity of the Mycielskian
Authors:
He Li,
Shumin Zhang,
Chengfu Ye
Abstract:
The $g$-extra connectivity is an important parameter to measure the ability of tolerance and reliability of interconnection networks. Given a connected graph $G=(V,E)$ and a non-negative integer $g$, a subset $S\subseteq V$ is called a $g$-extra cut of $G$ if $G-S$ is disconnected and every component of $G-S$ has at least $g+1$ vertices. The cardinality of the minimum $g$-extra cut is defined as t…
▽ More
The $g$-extra connectivity is an important parameter to measure the ability of tolerance and reliability of interconnection networks. Given a connected graph $G=(V,E)$ and a non-negative integer $g$, a subset $S\subseteq V$ is called a $g$-extra cut of $G$ if $G-S$ is disconnected and every component of $G-S$ has at least $g+1$ vertices. The cardinality of the minimum $g$-extra cut is defined as the $g$-extra connectivity of $G$, denoted by $κ_g(G)$. In a search for triangle-free graphs with arbitrarily large chromatic numbers, Mycielski developed a graph transformation that transforms a graph $G$ into a new graph $μ(G)$, which is called the Mycielskian of $G$. This paper investigates the relationship of the g-extra connectivity of the Mycielskian $μ(G)$ and the graph $G$, moreover, show that $κ_{2g+1}(μ(G))=2κ_{g}(G)+1$ for $g\geq 1$ and $κ_{g}(G)\leq min\{g+1, \lfloor\frac{n}{2}\rfloor\}$.
△ Less
Submitted 21 July, 2020;
originally announced July 2020.
-
Doubly robust estimation of average treatment effect revisited
Authors:
Keli Guo,
Chuyun Ye,
Jun Fan,
Lixing Zhu
Abstract:
The research described herewith is to re-visit the classical doubly robust estimation of average treatment effect by conducting a systematic study on the comparisons, in the sense of asymptotic efficiency, among all possible combinations of the estimated propensity score and outcome regression. To this end, we consider all nine combinations under, respectively, parametric, nonparametric and semipa…
▽ More
The research described herewith is to re-visit the classical doubly robust estimation of average treatment effect by conducting a systematic study on the comparisons, in the sense of asymptotic efficiency, among all possible combinations of the estimated propensity score and outcome regression. To this end, we consider all nine combinations under, respectively, parametric, nonparametric and semiparametric structures. The comparisons provide useful information on when and how to efficiently utilize the model structures in practice. Further, when there is model-misspecification, either propensity score or outcome regression, we also give the corresponding comparisons. Three phenomena are observed. Firstly, when all models are correctly specified, any combination can achieve the same semiparametric efficiency bound, which coincides with the existing results of some combinations. Secondly, when the propensity score is correctly modeled and estimated, but the outcome regression is misspecified parametrically or semiparametrically, the asymptotic variance is always larger than or equal to the semiparametric efficiency bound. Thirdly, in contrast, when the propensity score is misspecified parametrically or semiparametrically, while the outcome regression is correctly modeled and estimated, the asymptotic variance is not necessarily larger than the semiparametric efficiency bound. In some cases, the "super-efficiency" phenomenon occurs. We also conduct a small numerical study.
△ Less
Submitted 29 May, 2020;
originally announced May 2020.
-
Rate Splitting for Multi-Antenna Downlink: Precoder Design and Practical Implementation
Authors:
Zheng Li,
Chencheng Ye,
Ying Cui,
Sheng Yang,
Shlomo Shamai
Abstract:
Rate splitting (RS) is a potentially powerful and flexible technique for multi-antenna downlink transmission. In this paper, we address several technical challenges towards its practical implementation for beyond 5G systems. To this end, we focus on a single-cell system with a multi-antenna base station (BS) and K single-antenna receivers. We consider RS in its most general form, and joint decodin…
▽ More
Rate splitting (RS) is a potentially powerful and flexible technique for multi-antenna downlink transmission. In this paper, we address several technical challenges towards its practical implementation for beyond 5G systems. To this end, we focus on a single-cell system with a multi-antenna base station (BS) and K single-antenna receivers. We consider RS in its most general form, and joint decoding to fully exploit the potential of RS. First, we investigate the achievable rates under joint decoding and formulate the precoder design problems to maximize a general utility function, or to minimize the transmit power under pre-defined rate targets. Building upon the concave-convex procedure (CCCP), we propose precoder design algorithms for an arbitrary number of users. Our proposed algorithms approximate the intractable non-convex problems with a number of successively refined convex problems, and provably converge to stationary points of the original problems. Then, to reduce the decoding complexity, we consider the optimization of the precoder and the decoding order under successive decoding. Further, we propose a stream selection algorithm to reduce the number of precoded signals. With a reduced number of streams and successive decoding at the receivers, our proposed algorithm can even be implemented when the number of users is relatively large, whereas the complexity was previously considered as prohibitively high in the same setting. Finally, we propose a simple adaptation of our algorithms to account for the imperfection of the channel state information at the transmitter. Numerical results demonstrate that the general RS scheme provides a substantial performance gain as compared to state-of-the-art linear precoding schemes, especially with a moderately large number of users.
△ Less
Submitted 17 February, 2020;
originally announced February 2020.
-
ORL: Reinforcement Learning Benchmarks for Online Stochastic Optimization Problems
Authors:
Bharathan Balaji,
Jordan Bell-Masterson,
Enes Bilgin,
Andreas Damianou,
Pablo Moreno Garcia,
Arpit Jain,
Runfei Luo,
Alvaro Maggiar,
Balakrishnan Narayanaswamy,
Chun Ye
Abstract:
Reinforcement Learning (RL) has achieved state-of-the-art results in domains such as robotics and games. We build on this previous work by applying RL algorithms to a selection of canonical online stochastic optimization problems with a range of practical applications: Bin Packing, Newsvendor, and Vehicle Routing. While there is a nascent literature that applies RL to these problems, there are no…
▽ More
Reinforcement Learning (RL) has achieved state-of-the-art results in domains such as robotics and games. We build on this previous work by applying RL algorithms to a selection of canonical online stochastic optimization problems with a range of practical applications: Bin Packing, Newsvendor, and Vehicle Routing. While there is a nascent literature that applies RL to these problems, there are no commonly accepted benchmarks which can be used to compare proposed approaches rigorously in terms of performance, scale, or generalizability. This paper aims to fill that gap. For each problem we apply both standard approaches as well as newer RL algorithms and analyze results. In each case, the performance of the trained RL policy is competitive with or superior to the corresponding baselines, while not requiring much in the way of domain knowledge. This highlights the potential of RL in real-world dynamic resource allocation problems.
△ Less
Submitted 1 December, 2019; v1 submitted 24 November, 2019;
originally announced November 2019.
-
Convergence Rate of Multiscale Finite Element Method for Various Boundary Problems
Authors:
Changqing Ye,
Hao Dong,
Junzhi Cui
Abstract:
In this paper, we examine the effectiveness of classic multiscale finite element method (MsFEM) (Hou and Wu, 1997; Hou et al., 1999) for mixed Dirichlet-Neumann, Robin and hemivariational inequality boundary problems. Constructing so-called boundary correctors is a common technique in existing methods to prove the convergence rate of MsFEM, while we think not reflects the essence of those problems…
▽ More
In this paper, we examine the effectiveness of classic multiscale finite element method (MsFEM) (Hou and Wu, 1997; Hou et al., 1999) for mixed Dirichlet-Neumann, Robin and hemivariational inequality boundary problems. Constructing so-called boundary correctors is a common technique in existing methods to prove the convergence rate of MsFEM, while we think not reflects the essence of those problems. Instead, we focus on the first-order expansion structure. Through recently developed estimations in homogenization theory, our convergence rate is provided with milder assumptions and in neat forms.
△ Less
Submitted 5 February, 2020; v1 submitted 23 August, 2019;
originally announced August 2019.
-
A First-order Two-scale Analysis for Contact Problems with Small Periodic Configurations
Authors:
Changqing Ye,
Junzhi Cui
Abstract:
This paper is devoted to studying a type of contact problems modeled by hemivariational inequalities with small periodic coefficients appearing in PDEs, and the PDEs we considered are linear, second order and uniformly elliptic. Under the assumptions, it is proved that the original problem can be homogenized, and the solution weakly converges. We derive an $O(ε^{1/2})$ estimation which is pivotal…
▽ More
This paper is devoted to studying a type of contact problems modeled by hemivariational inequalities with small periodic coefficients appearing in PDEs, and the PDEs we considered are linear, second order and uniformly elliptic. Under the assumptions, it is proved that the original problem can be homogenized, and the solution weakly converges. We derive an $O(ε^{1/2})$ estimation which is pivotal in building the computational framework. We also show that Robin problems--- a special case of contact problems, it leads to an $O(ε)$ estimation in $L^2$ norm. Our computational framework is based on finite element methods, and the numerical analysis is given, together with experiments to convince the estimation.
△ Less
Submitted 14 August, 2019; v1 submitted 3 February, 2019;
originally announced February 2019.
-
High-dimensional Adaptive Minimax Sparse Estimation with Interactions
Authors:
Chenglong Ye,
Yuhong Yang
Abstract:
High-dimensional linear regression with interaction effects is broadly applied in research fields such as bioinformatics and social science. In this paper, we first investigate the minimax rate of convergence for regression estimation in high-dimensional sparse linear models with two-way interactions. We derive matching upper and lower bounds under three types of heredity conditions: strong heredi…
▽ More
High-dimensional linear regression with interaction effects is broadly applied in research fields such as bioinformatics and social science. In this paper, we first investigate the minimax rate of convergence for regression estimation in high-dimensional sparse linear models with two-way interactions. We derive matching upper and lower bounds under three types of heredity conditions: strong heredity, weak heredity and no heredity. From the results: (i) A stronger heredity condition may or may not drastically improve the minimax rate of convergence. In fact, in some situations, the minimax rates of convergence are the same under all three heredity conditions; (ii) The minimax rate of convergence is determined by the maximum of the total price of estimating the main effects and that of estimating the interaction effects, which goes beyond purely comparing the order of the number of non-zero main effects $r_1$ and non-zero interaction effects $r_2$; (iii) Under any of the three heredity conditions, the estimation of the interaction terms may be the dominant part in determining the rate of convergence for two different reasons: 1) there exist more interaction terms than main effect terms or 2) a large ambient dimension makes it more challenging to estimate even a small number of interaction terms. Second, we construct an adaptive estimator that achieves the minimax rate of convergence regardless of the true heredity condition and the sparsity indices $r_1, r_2$.
△ Less
Submitted 6 April, 2018;
originally announced April 2018.
-
A Mathematical Framework for Deep Learning in Elastic Source Imaging
Authors:
Jaejun Yoo,
Abdul Wahab,
Jong Chul Ye
Abstract:
An inverse elastic source problem with sparse measurements is of concern. A generic mathematical framework is proposed which incorporates a low- dimensional manifold regularization in the conventional source reconstruction algorithms thereby enhancing their performance with sparse datasets. It is rigorously established that the proposed framework is equivalent to the so-called \emph{deep convoluti…
▽ More
An inverse elastic source problem with sparse measurements is of concern. A generic mathematical framework is proposed which incorporates a low- dimensional manifold regularization in the conventional source reconstruction algorithms thereby enhancing their performance with sparse datasets. It is rigorously established that the proposed framework is equivalent to the so-called \emph{deep convolutional framelet expansion} in machine learning literature for inverse problems. Apposite numerical examples are furnished to substantiate the efficacy of the proposed framework.
△ Less
Submitted 25 May, 2018; v1 submitted 27 February, 2018;
originally announced February 2018.
-
Gallai-Ramsey numbers for books
Authors:
**yu Zou,
Ya** Mao,
Colton Magnant,
Zhao Wang,
Chengfu Ye
Abstract:
Given a graph $G$ and a positive integer $k$, the \emph{Gallai-Ramsey number} is defined to be the minimum number of vertices $n$ such that any $k$-edge coloring of $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $G$. In this paper, we obtain general upper and lower bounds on the Gallai-Ramsey numbers for books $B_{m} = K_{2} + \overline{K_{m}}$ and prov…
▽ More
Given a graph $G$ and a positive integer $k$, the \emph{Gallai-Ramsey number} is defined to be the minimum number of vertices $n$ such that any $k$-edge coloring of $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $G$. In this paper, we obtain general upper and lower bounds on the Gallai-Ramsey numbers for books $B_{m} = K_{2} + \overline{K_{m}}$ and prove sharp results for $m \leq 5$.
△ Less
Submitted 13 February, 2018;
originally announced February 2018.
-
Topological Sensitivity Based Far-Field Detection of Elastic Inclusions
Authors:
Tasawar Abbas,
Shujaat Khan,
Muhammad Sajid,
Abdul Wahab,
Jong Chul Ye
Abstract:
The aim of this article is to present and rigorously analyze topological sensitivity based algorithms for detection of diametrically small inclusions in an isotropic homogeneous elastic formation using single and multiple measurements of the far-field scattering amplitudes. A $L^2-$cost functional is considered and a location indicator is constructed from its topological derivative. The performanc…
▽ More
The aim of this article is to present and rigorously analyze topological sensitivity based algorithms for detection of diametrically small inclusions in an isotropic homogeneous elastic formation using single and multiple measurements of the far-field scattering amplitudes. A $L^2-$cost functional is considered and a location indicator is constructed from its topological derivative. The performance of the indicator is analyzed in terms of the topological sensitivity for location detection and stability with respect to measurement and medium noises. It is established that the location indicator does not guarantee inclusion detection and achieves only a low resolution when there is mode-conversion in an elastic formation. Accordingly, a weighted location indicator is designed to tackle the mode-conversion phenomenon. It is substantiated that the weighted function renders the location of an inclusion stably with resolution as per Rayleigh criterion.
△ Less
Submitted 16 December, 2017; v1 submitted 25 November, 2017;
originally announced November 2017.
-
The Steiner 4-diameter of a graph
Authors:
Zhao Wang,
Ya** Mao,
Hengzhe Li,
Chengfu Ye
Abstract:
The Steiner distance of a graph, introduced by Chartrand, Oellermann, Tian and Zou in 1989, is a natural generalization of the concept of classical graph distance. For a connected graph $G$ of order at least $2$ and $S\subseteq V(G)$, the \emph{Steiner distance} $d_G(S)$ among the vertices of $S$ is the minimum size among all connected subgraphs whose vertex sets contain $S$. Let $n,k$ be two inte…
▽ More
The Steiner distance of a graph, introduced by Chartrand, Oellermann, Tian and Zou in 1989, is a natural generalization of the concept of classical graph distance. For a connected graph $G$ of order at least $2$ and $S\subseteq V(G)$, the \emph{Steiner distance} $d_G(S)$ among the vertices of $S$ is the minimum size among all connected subgraphs whose vertex sets contain $S$. Let $n,k$ be two integers with $2\leq k\leq n$. Then the \emph{Steiner $k$-eccentricity $e_k(v)$} of a vertex $v$ of $G$ is defined by $e_k(v)=\max \{d(S)\,|\,S\subseteq V(G), \ |S|=k, \ and \ v\in S \}$. Furthermore, the \emph{Steiner $k$-diameter} of $G$ is $sdiam_k(G)=\max \{e_k(v)\,|\, v\in V(G)\}$. In 2011, Chartrand, Okamoto and Zhang showed that $k-1\leq sdiam_k(G)\leq n-1$. In this paper, graphs with $sdiam_4(G)=3,4,n-1$ are characterized, respectively.
△ Less
Submitted 18 February, 2017;
originally announced February 2017.
-
A Joint Sparse Recovery Framework for Accurate Reconstruction of Inclusions in Elastic Media
Authors:
Jaejun Yoo,
Younghoon Jung,
Mikyoung Lim,
Jong Chul Ye,
Abdul Wahab
Abstract:
A robust algorithm is proposed to reconstruct the spatial support and the Lamé parameters of multiple inclusions in a homogeneous background elastic material using a few measurements of the displacement field over a finite collection of boundary points. The algorithm does not require any linearization or iterative update of Green's function but still allows very accurate reconstruction. The breakt…
▽ More
A robust algorithm is proposed to reconstruct the spatial support and the Lamé parameters of multiple inclusions in a homogeneous background elastic material using a few measurements of the displacement field over a finite collection of boundary points. The algorithm does not require any linearization or iterative update of Green's function but still allows very accurate reconstruction. The breakthrough comes from a novel interpretation of Lippmann-Schwinger type integral representation of the displacement field in terms of unknown densities having common sparse support on the location of inclusions. Accordingly, the proposed algorithm consists of a two-step approach. First, the localization problem is recast as a joint sparse recovery problem that renders the densities and the inclusion support simultaneously. Then, a noise robust constrained optimization problem is formulated for the reconstruction of elastic parameters. An efficient algorithm is designed for numerical implementation using the Multiple Sparse Bayesian Learning (M-SBL) for joint sparse recovery problem and the Constrained Split Augmented Lagrangian Shrinkage Algorithm (C-SALSA) for the constrained optimization problem. The efficacy of the proposed framework is manifested through extensive numerical simulations. To the best of our knowledge, this is the first algorithm tailored for parameter reconstruction problems in elastic media using highly under-sampled data in the sense of Nyquist rate.
△ Less
Submitted 23 February, 2017; v1 submitted 26 October, 2016;
originally announced October 2016.
-
Representations of Frobenius-type triangular matrix algebras
Authors:
Fang Li,
Chang Ye
Abstract:
The aim of this paper is mainly to build a new representation-theoretic realization of finite root systems through the so-called Frobenius-type triangular matrix algebras by the method of reflection functors over any field. Finally, we give an analog of APR-tilting module for this class of algebras.
The major conclusions contains the known results as special cases, e.g. that for path algebras ov…
▽ More
The aim of this paper is mainly to build a new representation-theoretic realization of finite root systems through the so-called Frobenius-type triangular matrix algebras by the method of reflection functors over any field. Finally, we give an analog of APR-tilting module for this class of algebras.
The major conclusions contains the known results as special cases, e.g. that for path algebras over an algebraically closed field and for path algebras with relations from symmetrizable cartan matrices. Meanwhile, it means the corresponding results for some other important classes of algebras, that is, the path algebras of quivers over Frobenius algebras and the generalized path algebras endowed by Frobenius algebras at vertices.
△ Less
Submitted 30 December, 2015; v1 submitted 25 November, 2015;
originally announced November 2015.
-
Proper connection number and graph products
Authors:
Ya** Mao,
Fengnan Yanling,
Zhao Wang,
Chengfu Ye
Abstract:
A path $P$ in an edge-colored graph $G$ is called \emph{a proper path} if no two adjacent edges of $P$ are colored the same, and $G$ is \emph{proper connected} if every two vertices of $G$ are connected by a proper path in $G$. The \emph{proper connection number} of a connected graph $G$, denoted by $pc(G)$, is the minimum number of colors that are needed to make $G$ proper connected. In this pape…
▽ More
A path $P$ in an edge-colored graph $G$ is called \emph{a proper path} if no two adjacent edges of $P$ are colored the same, and $G$ is \emph{proper connected} if every two vertices of $G$ are connected by a proper path in $G$. The \emph{proper connection number} of a connected graph $G$, denoted by $pc(G)$, is the minimum number of colors that are needed to make $G$ proper connected. In this paper, we study the proper connection number on the lexicographical, strong, Cartesian, and direct product and present several upper bounds for these products of graphs.
△ Less
Submitted 9 May, 2015;
originally announced May 2015.
-
Monochromatic connectivity and graph products
Authors:
Ya** Mao,
Zhao Wang,
Fengnan Yanling,
Chengfu Ye
Abstract:
The concept of monochromatic connectivity was introduced by Caro and Yuster. A path in an edge-colored graph is called a \emph{monochromatic path} if all the edges on the path are colored the same. An edge-coloring of $G$ is a \emph{monochromatic connection coloring} ($MC$-coloring, for short) if there is a monochromatic path joining any two vertices in $G$. The \emph{monochromatic connection numb…
▽ More
The concept of monochromatic connectivity was introduced by Caro and Yuster. A path in an edge-colored graph is called a \emph{monochromatic path} if all the edges on the path are colored the same. An edge-coloring of $G$ is a \emph{monochromatic connection coloring} ($MC$-coloring, for short) if there is a monochromatic path joining any two vertices in $G$. The \emph{monochromatic connection number}, denoted by $mc(G)$, is defined to be the maximum number of colors used in an $MC$-coloring of a graph $G$. In this paper, we study the monochromatic connection number on the lexicographical, strong, Cartesian and direct product and present several upper and lower bounds for these products of graphs.
△ Less
Submitted 6 May, 2015;
originally announced May 2015.
-
A non-iterative method for the electrical impedance tomography based on joint sparse recovery
Authors:
Ok Kyun Lee,
Hyeonbae Kang,
Jong Chul Ye,
Mikyoung Lim
Abstract:
The purpose of this paper is to propose a non-iterative method for the inverse conductivity problem of recovering multiple small anomalies from the boundary measurements. When small anomalies are buried in a conducting object, the electric potential values inside the object can be expressed by integrals of densities with a common sparse support on the location of anomalies. Based on this integral…
▽ More
The purpose of this paper is to propose a non-iterative method for the inverse conductivity problem of recovering multiple small anomalies from the boundary measurements. When small anomalies are buried in a conducting object, the electric potential values inside the object can be expressed by integrals of densities with a common sparse support on the location of anomalies. Based on this integral expression, we formulate the reconstruction problem of small anomalies as a joint sparse recovery and present an efficient non-iterative recovery algorithm of small anomalies. Furthermore, we also provide a slightly modified algorithm to reconstruct an extended anomaly. We validate the effectiveness of the proposed algorithm over the linearized method and the MUSIC algorithm by numerical simulations.
△ Less
Submitted 9 February, 2015; v1 submitted 3 November, 2014;
originally announced November 2014.
-
Rigidity of Graph Joins and Hendrickson's Conjecture
Authors:
Timothy Sun,
Chun Ye
Abstract:
Whiteley \cite{wh} gives a complete characterization of the infinitesimal flexes of complete bipartite frameworks. Our work generalizes a specific infinitesimal flex to include joined graphs, a family of graphs that contain the complete bipartite graphs. We use this characterization to identify new families of counterexamples, including infinite families, in $\R^5$ and above to Hendrickson's conje…
▽ More
Whiteley \cite{wh} gives a complete characterization of the infinitesimal flexes of complete bipartite frameworks. Our work generalizes a specific infinitesimal flex to include joined graphs, a family of graphs that contain the complete bipartite graphs. We use this characterization to identify new families of counterexamples, including infinite families, in $\R^5$ and above to Hendrickson's conjecture on generic global rigidity.
△ Less
Submitted 31 December, 2010; v1 submitted 14 November, 2010;
originally announced November 2010.