-
Spectrum of the Dirac operator on Compact Riemannian Manifolds
Authors:
Lingzhong Zeng
Abstract:
In this paper, we consider the eigenvalue problem of Dirac operator on a compact Riemannian manifold isometrically immersed into Euclidean space and derive some extrinsic estimates for the sum of arbitrary consecutive $n$ eigenvalues of the square of the Dirac operator acting on some Dirac invariant subbundles. As some applications, we deduce some eigenvalue inequalities on the compact submanifold…
▽ More
In this paper, we consider the eigenvalue problem of Dirac operator on a compact Riemannian manifold isometrically immersed into Euclidean space and derive some extrinsic estimates for the sum of arbitrary consecutive $n$ eigenvalues of the square of the Dirac operator acting on some Dirac invariant subbundles. As some applications, we deduce some eigenvalue inequalities on the compact submanifolds immersed into Euclidean space, unit sphere or projective spaces and further get some bounds of general Reilly type. In addition, we also establish some universal bounds under certain curvature condition and on the meanwhile provide an alternative proof for Anghel's result. In particular, utilizing Atiyah-Singer index theorem, we drive an upper bound estimate for the sum of the first $n$ nontrivial eigenvalues of Atiyah-Singer Laplacian acting on the spin manifolds without dimensional assumption.
△ Less
Submitted 21 February, 2024;
originally announced February 2024.
-
A General Description of Criticality in Neural Network Models
Authors:
Longbin Zeng,
Fengjian Feng,
Wenlian Lu
Abstract:
Recent experimental observations have supported the hypothesis that the cerebral cortex operates in a dynamical regime near criticality, where the neuronal network exhibits a mixture of ordered and disordered patterns. However, A comprehensive study of how criticality emerges and how to reproduce it is still lacking. In this study, we investigate coupled networks with conductance-based neurons and…
▽ More
Recent experimental observations have supported the hypothesis that the cerebral cortex operates in a dynamical regime near criticality, where the neuronal network exhibits a mixture of ordered and disordered patterns. However, A comprehensive study of how criticality emerges and how to reproduce it is still lacking. In this study, we investigate coupled networks with conductance-based neurons and illustrate the co-existence of different spiking patterns, including asynchronous irregular (AI) firing and synchronous regular (SR) state, along with a scale-invariant neuronal avalanche phenomenon (criticality). We show that fast-acting synaptic coupling can evoke neuronal avalanches in the mean-dominated regime but has little effect in the fluctuation-dominated regime. In a narrow region of parameter space, the network exhibits avalanche dynamics with power-law avalanche size and duration distributions. We conclude that three stages which may be responsible for reproducing the synchronized bursting: mean-dominated subthreshold dynamics, fast-initiating a spike event, and time-delayed inhibitory cancellation. Remarkably, we illustrate the mechanisms underlying critical avalanches in the presence of noise, which can be explained as a stochastic crossing state around the Hopf bifurcation under the mean-dominated regime. Moreover, we apply the ensemble Kalman filter to determine and track effective connections for the neuronal network. The method is validated on noisy synthetic BOLD signals and could exactly reproduce the corresponding critical network activity. Our results provide a special perspective to understand and model the criticality, which can be useful for large-scale modeling and computation of brain dynamics.
△ Less
Submitted 25 August, 2023;
originally announced September 2023.
-
Gradient-enhanced deep neural network approximations
Authors:
Xiaodong Feng,
Li Zeng
Abstract:
We propose in this work the gradient-enhanced deep neural networks (DNNs) approach for function approximations and uncertainty quantification. More precisely, the proposed approach adopts both the function evaluations and the associated gradient information to yield enhanced approximation accuracy. In particular, the gradient information is included as a regularization term in the gradient-enhance…
▽ More
We propose in this work the gradient-enhanced deep neural networks (DNNs) approach for function approximations and uncertainty quantification. More precisely, the proposed approach adopts both the function evaluations and the associated gradient information to yield enhanced approximation accuracy. In particular, the gradient information is included as a regularization term in the gradient-enhanced DNNs approach, for which we present similar posterior estimates (by the two-layer neural networks) as those in the path-norm regularized DNNs approximations. We also discuss the application of this approach to gradient-enhanced uncertainty quantification, and present several numerical experiments to show that the proposed approach can outperform the traditional DNNs approach in many cases of interests.
△ Less
Submitted 8 November, 2022;
originally announced November 2022.
-
Adaptive deep density approximation for fractional Fokker-Planck equations
Authors:
Li Zeng,
Xiaoliang Wan,
Tao Zhou
Abstract:
In this work, we propose adaptive deep learning approaches based on normalizing flows for solving fractional Fokker-Planck equations (FPEs). The solution of a FPE is a probability density function (PDF). Traditional mesh-based methods are ineffective because of the unbounded computation domain, a large number of dimensions and the nonlocal fractional operator. To this end, we represent the solutio…
▽ More
In this work, we propose adaptive deep learning approaches based on normalizing flows for solving fractional Fokker-Planck equations (FPEs). The solution of a FPE is a probability density function (PDF). Traditional mesh-based methods are ineffective because of the unbounded computation domain, a large number of dimensions and the nonlocal fractional operator. To this end, we represent the solution with an explicit PDF model induced by a flow-based deep generative model, simplified KRnet, which constructs a transport map from a simple distribution to the target distribution. We consider two methods to approximate the fractional Laplacian. One method is the Monte Carlo approximation. The other method is to construct an auxiliary model with Gaussian radial basis functions (GRBFs) to approximate the solution such that we may take advantage of the fact that the fractional Laplacian of a Gaussian is known analytically. Based on these two different ways for the approximation of the fractional Laplacian, we propose two models, MCNF and GRBFNF, to approximate stationary FPEs and MCTNF to approximate time-dependent FPEs. To further improve the accuracy, we refine the training set and the approximate solution alternately. A variety of numerical examples is presented to demonstrate the effectiveness of our adaptive deep density approaches.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
Frank-Wolfe-type methods for a class of nonconvex inequality-constrained problems
Authors:
Liaoyuan Zeng,
Yongle Zhang,
Guoyin Li,
Ting Kei Pong,
Xiaozhou Wang
Abstract:
The Frank-Wolfe (FW) method, which implements efficient linear oracles that minimize linear approximations of the objective function over a fixed compact convex set, has recently received much attention in the optimization and machine learning literature. In this paper, we propose a new FW-type method for minimizing a smooth function over a compact set defined as the level set of a single differen…
▽ More
The Frank-Wolfe (FW) method, which implements efficient linear oracles that minimize linear approximations of the objective function over a fixed compact convex set, has recently received much attention in the optimization and machine learning literature. In this paper, we propose a new FW-type method for minimizing a smooth function over a compact set defined as the level set of a single difference-of-convex function, based on new generalized linear-optimization oracles (LO). We show that these LOs can be computed efficiently with closed-form solutions in some important optimization models that arise in compressed sensing and machine learning. In addition, under a mild strict feasibility condition, we establish the subsequential convergence of our nonconvex FW-type method. Since the feasible region of our generalized LO typically changes from iteration to iteration, our convergence analysis is completely different from those existing works in the literature on FW-type methods that deal with fixed feasible regions among subproblems. Finally, motivated by the away steps for accelerating FW-type methods for convex problems, we further design an away-step oracle to supplement our nonconvex FW-type method, and establish subsequential convergence of this variant. Numerical results on the matrix completion problem with standard datasets are presented to demonstrate the efficiency of the proposed FW-type method and its away-step variant.
△ Less
Submitted 18 January, 2024; v1 submitted 29 December, 2021;
originally announced December 2021.
-
Social Distancing, Gathering, Search Games: Mobile Agents on Simple Networks
Authors:
Steve Alpern,
Li Zeng
Abstract:
During epidemics, the population is asked to Socially Distance, with pairs of individuals kee** two meters apart. We model this as a new optimization problem by considering a team of agents placed on the nodes of a network. Their common aim is to achieve pairwise graph distances of at least D, a state we call socially distanced. (If D=1, they want to be at distinct nodes; if D=2 they want to be…
▽ More
During epidemics, the population is asked to Socially Distance, with pairs of individuals kee** two meters apart. We model this as a new optimization problem by considering a team of agents placed on the nodes of a network. Their common aim is to achieve pairwise graph distances of at least D, a state we call socially distanced. (If D=1, they want to be at distinct nodes; if D=2 they want to be non-adjacent.) We allow only a simple type of motion called a Lazy Random Walk: with probability p (called the laziness parameter), they remain at their current node next period; with complementary probability 1-p , they move to a random adjacent node. The team seeks the common value of p which achieves social distance in the least expected time, which is the absorption time of a Markov chain.
We observe that the same Markov chain, with different goals (absorbing states), models the gathering, or multi-rendezvous problem (all agents at the same node). Allowing distinct laziness for two types of agents (searchers and hider), extends the existing literature on predator-prey search games to multiple searchers.
We consider only special networks: line, cycle and grid.
Keywords: epidemic, random walk, dispersion, rendezvous search
△ Less
Submitted 10 November, 2021;
originally announced November 2021.
-
Universal Bounds for Fractional Laplacian on a Bounded Open Domain in $\mathbb{R}^{n}$
Authors:
Lingzhong Zeng
Abstract:
Let $Ω$ be a bounded open domain on the Euclidean space $\mathbb{R}^{n}$ and $\mathbb{Q}_{+}$ be the set of all positive rational numbers. In 2017, Chen and Zeng investigated the eigenvalues with higher order of the fractional Laplacian $\left.(-Δ)^{s}\right|_Ω$ for $s>0$ and $s \in \mathbb{Q}_{+}$, and they obtained a universal inequality of Yang type(\emph{ Universal inequality and upper bounds…
▽ More
Let $Ω$ be a bounded open domain on the Euclidean space $\mathbb{R}^{n}$ and $\mathbb{Q}_{+}$ be the set of all positive rational numbers. In 2017, Chen and Zeng investigated the eigenvalues with higher order of the fractional Laplacian $\left.(-Δ)^{s}\right|_Ω$ for $s>0$ and $s \in \mathbb{Q}_{+}$, and they obtained a universal inequality of Yang type(\emph{ Universal inequality and upper bounds of eigenvalues for non-integer poly-Laplacian on a bounded domain, Calculus of Variations and Partial Differential Equations,
(2017) \textbf{56}:131}). In the spirit of Chen and Zeng's work, we study the eigenvalues of fractional Laplacian, and establish an inequality of eigenvalues with lower order under the same condition. Also, our eigenvalue inequality is universal and generalizes the eigenvalue inequality for the poly-harmonic operators given by Jost et al.(\emph{Universal bounds for eigenvalues of polyharmonic operator. Trans. Amer. Math. Soc. {\bf 363}(4), 1821-1854 (2011)}).
△ Less
Submitted 30 January, 2023; v1 submitted 23 September, 2021;
originally announced September 2021.
-
$ρ$-regularization subproblems: Strong duality and an eigensolver-based algorithm
Authors:
Liaoyuan Zeng,
Ting Kei Pong
Abstract:
Trust-region (TR) type method, based on a quadratic model such as the trust-region subproblem (TRS) and $ p $-regularization subproblem ($p$RS), is arguably one of the most successful methods for unconstrained minimization. In this paper, we study a general regularized subproblem (named $ ρ$RS), which covers TRS and $p$RS as special cases. We derive a strong duality theorem for $ ρ$RS, and also it…
▽ More
Trust-region (TR) type method, based on a quadratic model such as the trust-region subproblem (TRS) and $ p $-regularization subproblem ($p$RS), is arguably one of the most successful methods for unconstrained minimization. In this paper, we study a general regularized subproblem (named $ ρ$RS), which covers TRS and $p$RS as special cases. We derive a strong duality theorem for $ ρ$RS, and also its necessary and sufficient optimality condition under general assumptions on the regularization term. We then define the Rendl-Wolkowicz (RW) dual problem of $ ρ$RS, which is a maximization problem whose objective function is concave, and differentiable except possibly at two points. It is worth pointing out that our definition is based on an alternative derivation of the RW-dual problem for TRS. Then we propose an eigensolver-based algorithm for solving the RW-dual problem of $ ρ$RS. The algorithm is carried out by finding the smallest eigenvalue and its unit eigenvector of a certain matrix in each iteration. Finally, we present numerical results on randomly generated $p$RS's, and on a new class of regularized problem that combines TRS and $p$RS, to illustrate our algorithm.
△ Less
Submitted 4 September, 2021;
originally announced September 2021.
-
Linear stability of the Couette flow in the 3D isentropic compressible Navier-Stokes equations
Authors:
Lan Zeng,
Zhifei Zhang,
Ruizhao Zi
Abstract:
Consider the linear stability of the three dimensional isentropic compressible Navier-Stokes equations on $\mathbb{T}\times\mathbb{R}\times\mathbb{T}$. We prove the enhanced dissipation phenomenon for the linearized isentropic compressible Navier-Stokes equations around the Couette flow $(y, 0, 0)^\top$. Moreover, the lift-up phenomenon is also shown in this paper. Compared with the 3D incompressi…
▽ More
Consider the linear stability of the three dimensional isentropic compressible Navier-Stokes equations on $\mathbb{T}\times\mathbb{R}\times\mathbb{T}$. We prove the enhanced dissipation phenomenon for the linearized isentropic compressible Navier-Stokes equations around the Couette flow $(y, 0, 0)^\top$. Moreover, the lift-up phenomenon is also shown in this paper. Compared with the 3D incompressible Navier-Stokes equations [Ann. of Math.,185(2017), 541--608], the lift-up effect here is stronger due to the loss of the incompressible condition.
△ Less
Submitted 21 May, 2021;
originally announced May 2021.
-
Eigenvalues for the Clamped Plate Problem of $\mathfrak{L}^{2}_ν$ Operator on Complete Riemannian manifolds
Authors:
Lingzhong Zeng
Abstract:
$\mathfrak{L}_ν$ operator is an important extrinsic differential operator of divergence type and has profound geometric settings. In this paper, we consider the clamped plate problem of $\mathfrak{L}^{2}_ν$ operator on a bounded domain of the complete Riemannian manifolds. A general formula of eigenvalues of $\mathfrak{L}^{2}_ν…
▽ More
$\mathfrak{L}_ν$ operator is an important extrinsic differential operator of divergence type and has profound geometric settings. In this paper, we consider the clamped plate problem of $\mathfrak{L}^{2}_ν$ operator on a bounded domain of the complete Riemannian manifolds. A general formula of eigenvalues of $\mathfrak{L}^{2}_ν$ operator is established. Applying this general formula, we obtain some estimates for the eigenvalues with higer order on the complete Riemannian manifolds. As several fascinating applications, we discuss this eigenvalue problem on the complete translating solitons, minimal submanifolds on the Euclidean space, submanifolds on the unit sphere and projective spaces. In particular, we get a universal inequality with respect to the $\mathcal{L}_{II}$ operator on the translating solitons. Usually, it is very difficult to get universal inequalities for weighted Laplacian and even Laplacian on the complete Riemannian manifolds. Therefore, this work can be viewed as a new contribution to universal inequality.
△ Less
Submitted 8 February, 2021;
originally announced February 2021.
-
Eigenvalues of Xin-Laplacian on Complete Riemannian manifolds
Authors:
Lingzhong Zeng,
Zhouyuan Zeng
Abstract:
In this paper, we firstly consider Dirichlet eigenvalue problem which is related to Xin-Laplacian on the bounded domain of complete Riemannian manifolds. By establishing the general formulas, combining with some results of Chen and Cheng type, we prove some eigenvalue inequalities. As some applications, we consider the eigenvalues on some Riemannian manifolds admitting with special functions, the…
▽ More
In this paper, we firstly consider Dirichlet eigenvalue problem which is related to Xin-Laplacian on the bounded domain of complete Riemannian manifolds. By establishing the general formulas, combining with some results of Chen and Cheng type, we prove some eigenvalue inequalities. As some applications, we consider the eigenvalues on some Riemannian manifolds admitting with special functions, the translating solitons, minimal submanifolds on the Euclidean spaces, submanifolds on the unit spheres, projective spaces and so on. In particular, for the case of translating solitons, some eigenvalue inequalities are universal. Moreover, we investigate the closed eigenvalue problem for the Xin-Laplacian and generalize the Reilly's result on the first eigenvalue of the Laplace-Beltrami operator. As some remarkable applications, we obtain a very sharp estimate for the upper bound of the second nonzero eigenvalue(without counting multiplicities of eigenvalues) of the Laplace-Beltrami operator on the minimal isoparametric hypersurfaces and focal submanifolds in the unit sphere, which leads to a conjecture and is the most fascinating part of this paper.
△ Less
Submitted 6 February, 2022; v1 submitted 20 January, 2021;
originally announced January 2021.
-
Eigenvalue Inequalities for the Clamped Plate Problem of $\mathfrak{L}^{2}_ν$ Operator
Authors:
Lingzhong Zeng
Abstract:
$\mathfrak{L}_{II}$ operator is introduced by Y.-L. Xin (\emph{Calculus of Variations and Partial Differential Equations. 2015, \textbf{54}(2):1995-2016)}, which is an important extrinsic elliptic differential operator of divergence type and has profound geometric meaning. In this paper, we extend $\mathfrak{L}_{II}$ operator to more general elliptic differential operator $\mathfrak{L}_ν…
▽ More
$\mathfrak{L}_{II}$ operator is introduced by Y.-L. Xin (\emph{Calculus of Variations and Partial Differential Equations. 2015, \textbf{54}(2):1995-2016)}, which is an important extrinsic elliptic differential operator of divergence type and has profound geometric meaning. In this paper, we extend $\mathfrak{L}_{II}$ operator to more general elliptic differential operator $\mathfrak{L}_ν$, and investigate the clamped plate problem of bi-$\mathfrak{L}_ν$ operator, which is denoted by $\mathfrak{L}_ν^{2}$, on the complete Riemannian manifolds. A general formula of eigenvalues for the $\mathfrak{L}_ν^{2}$ operator is established. Applying this formula, we estimate the eigenvalues with lower order on the Riemannian manifolds. As some further applications, we establish some eigenvalue inequalities for this operator on the translating solitons with respect to the mean curvature flows, submanifolds of the Euclidean spaces, unit spheres and projective spaces. In particular, for the case of translating solitons, all of the eigenvalue inequalities are universal.
△ Less
Submitted 20 January, 2021;
originally announced January 2021.
-
Analysis and algorithms for some compressed sensing models based on L1/L2 minimization
Authors:
Liaoyuan Zeng,
Peiran Yu,
Ting Kei Pong
Abstract:
Recently, in a series of papers [32,38,39,41], the ratio of $\ell_1$ and $\ell_2$ norms was proposed as a sparsity inducing function for noiseless compressed sensing. In this paper, we further study properties of such model in the noiseless setting, and propose an algorithm for minimizing $\ell_1$/$\ell_2$ subject to noise in the measurements. Specifically, we show that the extended objective func…
▽ More
Recently, in a series of papers [32,38,39,41], the ratio of $\ell_1$ and $\ell_2$ norms was proposed as a sparsity inducing function for noiseless compressed sensing. In this paper, we further study properties of such model in the noiseless setting, and propose an algorithm for minimizing $\ell_1$/$\ell_2$ subject to noise in the measurements. Specifically, we show that the extended objective function (the sum of the objective and the indicator function of the constraint set) of the model in [32] satisfies the Kurdyka-Lojasiewicz (KL) property with exponent 1/2; this allows us to establish linear convergence of the algorithm proposed in [39, Eq. 11] under mild assumptions. We next extend the $\ell_1$/$\ell_2$ model to handle compressed sensing problems with noise. We establish the solution existence for some of these models under the spherical section property [37,44], and extend the algorithm in [39, Eq. 11] by incorporating moving-balls-approximation techniques [4] for solving these problems. We prove the subsequential convergence of our algorithm under mild conditions, and establish global convergence of the whole sequence generated by our algorithm by imposing additional KL and differentiability assumptions on a specially constructed potential function. Finally, we perform numerical experiments on robust compressed sensing and basis pursuit denoising with residual error measured by $ \ell_2 $ norm or Lorentzian norm via solving the corresponding $\ell_1$/$\ell_2$ models by our algorithm. Our numerical simulations show that our algorithm is able to recover the original sparse vectors with reasonable accuracy.
△ Less
Submitted 11 February, 2021; v1 submitted 24 July, 2020;
originally announced July 2020.
-
Using Deep Learning to Improve Ensemble Smoother: Applications to Subsurface Characterization
Authors:
Jiangjiang Zhang,
Qiang Zheng,
Laosheng Wu,
Lingzao Zeng
Abstract:
Ensemble smoother (ES) has been widely used in various research fields to reduce the uncertainty of the system-of-interest. However, the commonly-adopted ES method that employs the Kalman formula, that is, ES$_\text{(K)}$, does not perform well when the probability distributions involved are non-Gaussian. To address this issue, we suggest to use deep learning (DL) to derive an alternative update s…
▽ More
Ensemble smoother (ES) has been widely used in various research fields to reduce the uncertainty of the system-of-interest. However, the commonly-adopted ES method that employs the Kalman formula, that is, ES$_\text{(K)}$, does not perform well when the probability distributions involved are non-Gaussian. To address this issue, we suggest to use deep learning (DL) to derive an alternative update scheme for ES in complex data assimilation applications. Here we show that the DL-based ES method, that is, ES$_\text{(DL)}$, is more general and flexible. In this new update scheme, a high volume of training data are generated from a relatively small-sized ensemble of model parameters and simulation outputs, and possible non-Gaussian features can be preserved in the training data and captured by an adequate DL model. This new variant of ES is tested in two subsurface characterization problems with or without Gaussian assumptions. Results indicate that ES$_\text{(DL)}$ can produce similar (in the Gaussian case) or even better (in the non-Gaussian case) results compared to those from ES$_\text{(K)}$. The success of ES$_\text{(DL)}$ comes from the power of DL in extracting complex (including non-Gaussian) features and learning nonlinear relationships from massive amounts of training data. Although in this work we only apply the ES$_\text{(DL)}$ method in parameter estimation problems, the proposed idea can be conveniently extended to analysis of model structural uncertainty and state estimation in real-time forecasting studies.
△ Less
Submitted 20 October, 2020; v1 submitted 20 February, 2020;
originally announced February 2020.
-
Generalizing the Covering Path Problem on a Grid
Authors:
Liwei Zeng,
Karen Smilowitz,
Sunil Chopra
Abstract:
We study the covering path problem on a grid of R^{2}. We generalize earlier results on a rectangular grid and prove that the covering path cost can be bounded by the area and perimeter of the grid. We provide (2+ε) and (1+ε)-approximations for the problem on a general grid and on a convex grid, respectively.
We study the covering path problem on a grid of R^{2}. We generalize earlier results on a rectangular grid and prove that the covering path cost can be bounded by the area and perimeter of the grid. We provide (2+ε) and (1+ε)-approximations for the problem on a general grid and on a convex grid, respectively.
△ Less
Submitted 28 April, 2019;
originally announced April 2019.
-
A difference-of-convex approach for split feasibility with applications to matrix factorizations and outlier detection
Authors:
Chen Chen,
Ting Kei Pong,
Lulin Tan,
Liaoyuan Zeng
Abstract:
The split feasibility problem is to find an element in the intersection of a closed set $C$ and the linear preimage of another closed set $D$, assuming the projections onto $C$ and $D$ are easy to compute. This class of problems arises naturally in many contemporary applications such as compressed sensing. While the sets $C$ and $D$ are typically assumed to be convex in the literature, in this pap…
▽ More
The split feasibility problem is to find an element in the intersection of a closed set $C$ and the linear preimage of another closed set $D$, assuming the projections onto $C$ and $D$ are easy to compute. This class of problems arises naturally in many contemporary applications such as compressed sensing. While the sets $C$ and $D$ are typically assumed to be convex in the literature, in this paper, we allow both sets to be possibly nonconvex. We observe that, in this setting, the split feasibility problem can be formulated as an optimization problem with a difference-of-convex objective so that standard majorization-minimization type algorithms can be applied. Here we focus on the nonmonotone proximal gradient algorithm with majorization studied in [15, Appendix A]. We show that, when this algorithm is applied to a split feasibility problem, the sequence generated clusters at a stationary point of the problem under mild assumptions. We also study local convergence property of the sequence under suitable assumptions on the closed sets involved. Finally, we perform numerical experiments to illustrate the efficiency of our approach on solving split feasibility problems that arise in completely positive matrix factorization, (uniformly) sparse matrix factorization, and outlier detection.
△ Less
Submitted 4 November, 2020; v1 submitted 4 March, 2019;
originally announced March 2019.
-
Decay rates for the Viscous Incompressible MHD with and without Surface Tension
Authors:
Boling Guo,
Lan Zeng,
Guoxi Ni
Abstract:
In this paper, we consider a layer of a viscous incompressible electrically conducting fluid interacting with the magnetic filed in a horizontally periodic setting. The upper boundary bounded by a free boundary and below bounded by a flat rigid interface. We prove the global well-posedness of the problem for both the case with and without surface tension. Moreover, we show that the global solution…
▽ More
In this paper, we consider a layer of a viscous incompressible electrically conducting fluid interacting with the magnetic filed in a horizontally periodic setting. The upper boundary bounded by a free boundary and below bounded by a flat rigid interface. We prove the global well-posedness of the problem for both the case with and without surface tension. Moreover, we show that the global solution decays to the equilibrium exponentially in the case with surface tension, however the global solution decays to the equilibrium at an almost exponential rate in the case without surface tension.
△ Less
Submitted 25 July, 2018;
originally announced July 2018.
-
A Bounded Formulation for The School Bus Scheduling Problem
Authors:
Liwei Zeng,
Sunil Chopra,
Karen Smilowitz
Abstract:
This paper proposes a new formulation for the school bus scheduling problem (SBSP) which optimizes school start times and bus operation times to minimize transportation cost. Our goal is to minimize the number of buses to serve all bus routes such that each route arrives in a time window before school starts. We present a new time-indexed integer linear programming (ILP) formulation for this probl…
▽ More
This paper proposes a new formulation for the school bus scheduling problem (SBSP) which optimizes school start times and bus operation times to minimize transportation cost. Our goal is to minimize the number of buses to serve all bus routes such that each route arrives in a time window before school starts. We present a new time-indexed integer linear programming (ILP) formulation for this problem. Based on a strengthened version of the linear relaxation of the ILP, we develop a dependent randomized rounding algorithm that yields near-optimal solutions for large-scale problem instances. We also generalize our methodologies to solve a robust version of the SBSP.
△ Less
Submitted 1 August, 2020; v1 submitted 23 March, 2018;
originally announced March 2018.
-
Inverse modeling of hydrologic systems with adaptive multi-fidelity Markov chain Monte Carlo simulations
Authors:
Jiangjiang Zhang,
Jun Man,
Guang Lin,
Laosheng Wu,
Lingzao Zeng
Abstract:
Markov chain Monte Carlo (MCMC) simulation methods are widely used to assess parametric uncertainties of hydrologic models conditioned on measurements of observable state variables. However, when the model is CPU-intensive and high-dimensional, the computational cost of MCMC simulation will be prohibitive. In this situation, a CPU-efficient while less accurate low-fidelity model (e.g., a numerical…
▽ More
Markov chain Monte Carlo (MCMC) simulation methods are widely used to assess parametric uncertainties of hydrologic models conditioned on measurements of observable state variables. However, when the model is CPU-intensive and high-dimensional, the computational cost of MCMC simulation will be prohibitive. In this situation, a CPU-efficient while less accurate low-fidelity model (e.g., a numerical model with a coarser discretization, or a data-driven surrogate) is usually adopted. Nowadays, multi-fidelity simulation methods that can take advantage of both the efficiency of the low-fidelity model and the accuracy of the high-fidelity model are gaining popularity. In the MCMC simulation, as the posterior distribution of the unknown model parameters is the region of interest, it is wise to distribute most of the computational budget (i.e., the high-fidelity model evaluations) therein. Based on this idea, in this paper we propose an adaptive multi-fidelity MCMC algorithm for efficient inverse modeling of hydrologic systems. In this method, we evaluate the high-fidelity model mainly in the posterior region through iteratively running MCMC based on a Gaussian process (GP) system that is adaptively constructed with multi-fidelity simulation. The error of the GP system is rigorously considered in the MCMC simulation and gradually reduced to a negligible level in the posterior region. Thus, the proposed method can obtain an accurate estimate of the posterior distribution with a small number of the high-fidelity model evaluations. The performance of the proposed method is demonstrated by three numerical case studies in inverse modeling of hydrologic systems.
△ Less
Submitted 14 June, 2018; v1 submitted 6 December, 2017;
originally announced December 2017.
-
The Covering Path Problem on a Grid
Authors:
Liwei Zeng,
Sunil Chopra,
Karen Smilowitz
Abstract:
This paper introduces the covering path problem on a grid (CPPG) which finds the cost-minimizing path connecting a subset of points in a grid such that each point that needs to be covered is within a predetermined distance of a point from the chosen subset. We leverage the geometric properties of the grid graph which captures the road network structure in many transportation problems, including ou…
▽ More
This paper introduces the covering path problem on a grid (CPPG) which finds the cost-minimizing path connecting a subset of points in a grid such that each point that needs to be covered is within a predetermined distance of a point from the chosen subset. We leverage the geometric properties of the grid graph which captures the road network structure in many transportation problems, including our motivating setting of school bus routing. As defined in this paper, the CPPG is a bi-objective optimization problem comprised of one cost term related to path length and one cost term related to stop count. We develop a trade-off constraint which quantifies the trade-off between path length and stop count and provides a lower bound for the bi-objective optimization problem. We introduce simple construction techniques to provide feasible paths that match the lower bound within a constant factor. Importantly, this solution approach uses transformations of the general CPPG to either a discrete CPPG or continuous CPPG based on the value of the coverage radius. For both the discrete and continuous versions, we provide fast constant-factor approximations, thus solving the general CPPG.
△ Less
Submitted 24 April, 2019; v1 submitted 21 September, 2017;
originally announced September 2017.
-
Improving Simulation Efficiency of MCMC for Inverse Modeling of Hydrologic Systems with a Kalman-Inspired Proposal Distribution
Authors:
Jiangjiang Zhang,
Jasper A. Vrugt,
Xiaoqing Shi,
Guang Lin,
Lingzao Zeng,
Laosheng Wu
Abstract:
Bayesian analysis is widely used in science and engineering for real-time forecasting, decision making, and to help unravel the processes that explain the observed data. These data are some deterministic and/or stochastic transformations of the underlying parameters. A key task is then to summarize the posterior distribution of these parameters. When models become too difficult to analyze analytic…
▽ More
Bayesian analysis is widely used in science and engineering for real-time forecasting, decision making, and to help unravel the processes that explain the observed data. These data are some deterministic and/or stochastic transformations of the underlying parameters. A key task is then to summarize the posterior distribution of these parameters. When models become too difficult to analyze analytically, Monte Carlo methods can be used to approximate the target distribution. Of these, Markov chain Monte Carlo (MCMC) methods are particularly powerful. Such methods generate a random walk through the parameter space and, under strict conditions of reversibility and ergodicity, will successively visit solutions with frequency proportional to the underlying target density. This requires a proposal distribution that generates candidate solutions starting from an arbitrary initial state. The speed of the sampled chains converging to the target distribution deteriorates rapidly, however, with increasing parameter dimensionality. In this paper, we introduce a new proposal distribution that enhances significantly the efficiency of MCMC simulation for highly parameterized models. This proposal distribution exploits the cross-covariance of model parameters, measurements and model outputs, and generates candidate states much alike the analysis step in the Kalman filter. We embed the Kalman-inspired proposal distribution in the DREAM algorithm during burn-in, and present several numerical experiments with complex, high-dimensional or multi-modal target distributions. Results demonstrate that this new proposal distribution can greatly improve simulation efficiency of MCMC. Specifically, we observe a speed-up on the order of 10-30 times for groundwater models with more than one-hundred parameters.
△ Less
Submitted 20 February, 2020; v1 submitted 17 July, 2017;
originally announced July 2017.
-
The First Eigenvalue for the Bi-Beltrami-Laplacian on Minimal Isoparametric Hypersurfaces of $\mathbb{S}^{n+1}(1)$
Authors:
Lingzhong Zeng
Abstract:
In this paper, we investigate the first eigenvalues of two closed eigenvalue problems of the bi-Beltrami-Laplacian on minimal embedded isoparametric hypersurface in the unit sphere $\mathbb{S}^{n+1}(1)$. Although many mathematicians want to derive the corresponding results for the first eigenvalues of bi-Beltrami-Laplacian, they encountered great difficulties in proving the limit theorem of the ve…
▽ More
In this paper, we investigate the first eigenvalues of two closed eigenvalue problems of the bi-Beltrami-Laplacian on minimal embedded isoparametric hypersurface in the unit sphere $\mathbb{S}^{n+1}(1)$. Although many mathematicians want to derive the corresponding results for the first eigenvalues of bi-Beltrami-Laplacian, they encountered great difficulties in proving the limit theorem of the version of bi-Beltrami-Laplacian along with the strategy due to I. Chavel and E. A. Feldman(Journal of Functional Analysis, 30 (1978), 198-222) and S. Ozawa (Duke Mathematics Journal, 48 (1981),767-778). Therefore, as the author knows, there are no any results of Tang-Yan type( Journal of Differential Geometry, 94 (2013) 521-540). However, by the variational argument, we overcome the difficulties and determine the first eigenvalues of the bi-Beltrami-Laplacian in the sense of isoparametric hypersurfaces. We note that our proof is quite simple.
△ Less
Submitted 5 December, 2016;
originally announced December 2016.
-
An iterative local updating ensemble smoother for estimation and uncertainty assessment of hydrologic model parameters with multimodal distributions
Authors:
Jiangjiang Zhang,
Guang Lin,
Weixuan Li,
Laosheng Wu,
Lingzao Zeng
Abstract:
Ensemble smoother (ES) has been widely used in inverse modeling of hydrologic systems. However, for problems where the distribution of model parameters is multimodal, using ES directly would be problematic. One popular solution is to use a clustering algorithm to identify each mode and update the clusters with ES separately. However, this strategy may not be very efficient when the dimension of pa…
▽ More
Ensemble smoother (ES) has been widely used in inverse modeling of hydrologic systems. However, for problems where the distribution of model parameters is multimodal, using ES directly would be problematic. One popular solution is to use a clustering algorithm to identify each mode and update the clusters with ES separately. However, this strategy may not be very efficient when the dimension of parameter space is high or the number of modes is large. Alternatively, we propose in this paper a very simple and efficient algorithm, i.e., the iterative local updating ensemble smoother (ILUES), to explore multimodal distributions of model parameters in nonlinear hydrologic systems. The ILUES algorithm works by updating local ensembles of each sample with ES to explore possible multimodal distributions. To achieve satisfactory data matches in nonlinear problems, we adopt an iterative form of ES to assimilate the measurements multiple times. Numerical cases involving nonlinearity and multimodality are tested to illustrate the performance of the proposed method. It is shown that overall the ILUES algorithm can well quantify the parametric uncertainties of complex hydrologic models, no matter whether the multimodal distribution exists.
△ Less
Submitted 25 February, 2018; v1 submitted 14 November, 2016;
originally announced November 2016.
-
The Gap of the Consecutive Eigenvalues of the Drifting Laplacian on Metric Measure Spaces
Authors:
Lingzhong Zeng
Abstract:
In this paper, we investigate eigenvalues of the Dirichlet problem and the closed eigenvalue problem of drifting Laplacian on the complete metric measure spaces and establish the corresponding general formulas. By using those general formulas, we give some upper bounds of consecutive gap of the eigenvalues of the eigenvalue problems, which is sharp in the sense of the order of the eigenvalues. As…
▽ More
In this paper, we investigate eigenvalues of the Dirichlet problem and the closed eigenvalue problem of drifting Laplacian on the complete metric measure spaces and establish the corresponding general formulas. By using those general formulas, we give some upper bounds of consecutive gap of the eigenvalues of the eigenvalue problems, which is sharp in the sense of the order of the eigenvalues. As some interesting applications, we study the eigenvalue of drifting Laplacian on Ricci solitons, self-shrinkers and product Riemannian manifolds. We give the explicit upper bounds of the gap of the consecutive eigenvalues of the drifting Laplacian. Since eigenvalues is invariant in the sense of isometry, by the classifications of Ricci solitons and self-shrinkers, we give the explicit upper bounds for the consecutive eigenvalues of the drifting Laplacian on a large class metric measure spaces. In addition, we also consider the case of product Riemannian manifolds with certain curvature conditions and some upper bounds are obtained. Basing on the case of Laplace operator, we also present a conjecture as follows: all of the eigenvalues of the Dirichlet problem of drifting Laplacian on metric measure spaces satisfy: $$λ_{k+1}-λ_{k}\leq(λ_{2}-λ_{1})k^{\frac{1}{n}}.$$We note the conjecture is true in some special cases.
△ Less
Submitted 21 June, 2016;
originally announced June 2016.
-
The Gaps of Consecutive Eigenvalues of Laplacian on Riemannian Manifolds
Authors:
Lingzhong Zeng
Abstract:
In this paper, we investigate the Dirichlet problem of Laplacian on complete Riemannian manifolds. By constructing new trial functions, we obtain a sharp upper bound of the gap of the consecutive eigenvalues in the sense of the order, which affirmatively answers to a conjecture proposed by Chen-Zheng-Yang. In addition, we also exploit the closed eigenvalue problem of Laplacian and obtain a similar…
▽ More
In this paper, we investigate the Dirichlet problem of Laplacian on complete Riemannian manifolds. By constructing new trial functions, we obtain a sharp upper bound of the gap of the consecutive eigenvalues in the sense of the order, which affirmatively answers to a conjecture proposed by Chen-Zheng-Yang. In addition, we also exploit the closed eigenvalue problem of Laplacian and obtain a similar optimal upper bound. As some important examples, we investigate the eigenvalues of the eigenvalue problem of the Laplacian on the unit sphere and cylinder, compact homogeneous Riemannian manifolds without boundary, connected bounded domain and compact complex hypersurface without boundary in the standard complex projective space $\mathbb{C}P^{n}(4)$ with holomorphic sectional curvature $4$, and some intrinsic estimates for the eigenvalue gap is obtained. As the author know, for the Dirichlet problem, the gap $λ_{k+1}-λ_{k}$ is bounded by the first $k$-th eigenvalues in the previous literatures. However, by a large number of numerical calculations, the author surprisingly find that the gap of the consecutive eigenvalues of the Dirichlet problem on the $n$-dimensional Euclidean space $R^{n}$ can be bounded only by the first two eigenvalues. Therefore, we venture to conjecture that all of the eigenvalues satisfy: $λ_{k+1}-λ_{k}\leq \mathfrak{S}_{i}(Ω)(λ_{2}-λ_{1})k^{1/n}$, where $\mathfrak{S}_{i}(Ω),i=1,2$ denote the first shape coefficient and the second shape coefficient. In particular, if we consider the second shape coefficient, then there is a close connection between this universal inequality and the famous Panye-Pólya-Weinberger conjecture in general form. By calculating some important examples, we adduce some good evidence on the correctness of this conjecture.
△ Less
Submitted 20 December, 2016; v1 submitted 8 June, 2016;
originally announced June 2016.
-
Construction of Directed Strongly Regular Graphs as Generalized Cayley Graphs
Authors:
Rongquan Feng,
Liwei Zeng
Abstract:
Directed strongly regular graphs were introduced by Duval in 1998 as one of the possible generalization of classical strongly regular graphs to the directed case. Duval also provided several construction methods for directed strongly regular graphs. In this paper, an infinite family of directed strongly regular graphs is constructed, as generalized Cayley graphs of cyclic groups.
Directed strongly regular graphs were introduced by Duval in 1998 as one of the possible generalization of classical strongly regular graphs to the directed case. Duval also provided several construction methods for directed strongly regular graphs. In this paper, an infinite family of directed strongly regular graphs is constructed, as generalized Cayley graphs of cyclic groups.
△ Less
Submitted 22 December, 2014; v1 submitted 5 October, 2014;
originally announced October 2014.
-
Upper Bound Estimates for Eigenvalues of the Poly-Laplacian
Authors:
Lingzhong Zeng
Abstract:
In this paper, we obtain a sharp upper bound for the sum of the first $k$-th eigenvalues for this Dirichlet problem of poly-Laplacian with any order, which is viewed as an extension of the result due to Cheng and Wei (Journal of Differential Equations, 255 (2013), 220-233). In particular, if $l=2$ and $k$ is large enough, we give an important improvement of their result.
In this paper, we obtain a sharp upper bound for the sum of the first $k$-th eigenvalues for this Dirichlet problem of poly-Laplacian with any order, which is viewed as an extension of the result due to Cheng and Wei (Journal of Differential Equations, 255 (2013), 220-233). In particular, if $l=2$ and $k$ is large enough, we give an important improvement of their result.
△ Less
Submitted 12 May, 2016; v1 submitted 19 July, 2013;
originally announced July 2013.
-
Eigenvalues of the Witten-Laplacian on compact Riemannian manifolds
Authors:
Qing-Ming Cheng,
Lingzhong Zeng
Abstract:
In this paper we study eigenvalues of the closed eigenvalue problem of the Witten-Laplacian on an $n$-dimensional compact Riemannian manifold. Estimates for eigenvalues are given. As applications, we give a sharp upper bound for the $k^{\text{th}}$ eigenvalue and for isoparametric minimal hypersurfaces in the unit sphere, an explicit upper bound of the $(n+3)^{\text{th}}$ eigenvalue of the Laplaci…
▽ More
In this paper we study eigenvalues of the closed eigenvalue problem of the Witten-Laplacian on an $n$-dimensional compact Riemannian manifold. Estimates for eigenvalues are given. As applications, we give a sharp upper bound for the $k^{\text{th}}$ eigenvalue and for isoparametric minimal hypersurfaces in the unit sphere, an explicit upper bound of the $(n+3)^{\text{th}}$ eigenvalue of the Laplacian is obtained. Furthermore, we generalize the Reilly's result on the first eigenvalue of the Laplacian.
△ Less
Submitted 17 April, 2013; v1 submitted 11 April, 2013;
originally announced April 2013.
-
Lower Bounds for Laplacian and Fractional Laplacian Eigenvalues
Authors:
Guoxin Wei,
He-Jun Sun,
Lingzhong Zeng
Abstract:
In this paper, we investigate eigenvalues of Laplacian on a bounded domain in an $n$-dimensional Euclidean space and obtain a sharper lower bound for the sum of its eigenvalues, which gives an improvement of results due to A. D. Melas [15]. On the other hand, for the case of fractional Laplacian $(-Δ)^{α/2}|_{D}$, where $α\in(0,2]$, we obtain a sharper lower bound for the sum of its eigenvalues, w…
▽ More
In this paper, we investigate eigenvalues of Laplacian on a bounded domain in an $n$-dimensional Euclidean space and obtain a sharper lower bound for the sum of its eigenvalues, which gives an improvement of results due to A. D. Melas [15]. On the other hand, for the case of fractional Laplacian $(-Δ)^{α/2}|_{D}$, where $α\in(0,2]$, we obtain a sharper lower bound for the sum of its eigenvalues, which gives an improvement of results due to S.Y. Yolcu and T. Yolcu [23].
△ Less
Submitted 7 February, 2012; v1 submitted 19 December, 2011;
originally announced December 2011.
-
Estimates for lower bounds of eigenvalues of the poly-Laplacian and quadratic polynomial operator of the Laplacian
Authors:
Qing-Ming Cheng,
He-Jun Sun,
Guoxin Wei,
Lingzhong Zeng
Abstract:
In this paper, we investigate the Dirchlet eigenvalue problems of poly-Laplacian with any order and quadratic polynomial operator of the Laplacian. We give some estimates for lower bounds of the sums of their first $k$ eigenvalues which improve the previous results.
In this paper, we investigate the Dirchlet eigenvalue problems of poly-Laplacian with any order and quadratic polynomial operator of the Laplacian. We give some estimates for lower bounds of the sums of their first $k$ eigenvalues which improve the previous results.
△ Less
Submitted 12 December, 2011;
originally announced December 2011.
-
Estimates for Eigenvalues of Poly-harmonic Operators
Authors:
Guoxin Wei,
Lingzhong Zeng
Abstract:
In this paper, we study eigenvalues of the poly-Laplacian with arbitrary order on a bounded domain in an n-dimensional Euclidean space and obtain a lower bound for eigenvalues, which generalizes the results due to Cheng-Wei [5] and gives an improvement of results due to Cheng- Qi-Wei [3].
In this paper, we study eigenvalues of the poly-Laplacian with arbitrary order on a bounded domain in an n-dimensional Euclidean space and obtain a lower bound for eigenvalues, which generalizes the results due to Cheng-Wei [5] and gives an improvement of results due to Cheng- Qi-Wei [3].
△ Less
Submitted 28 December, 2011; v1 submitted 14 November, 2011;
originally announced November 2011.
-
Labelling Algorithms for Paired-domination Problems in Block and Interval Graphs
Authors:
Lei Chen Changhong Lu Zhenbing Zeng
Abstract:
Let $G=(V,E)$ be a graph without isolated vertices. A set $S\subseteq V$ is a paired-domination set if every vertex in $V-S$ is adjacent to a vertex in $S$ and the subgraph induced by $S$ contains a perfect matching. The paired-domination problem is to determine the paired-domination number, which is the minimum cardinality of a paired-dominating set. Motivated by a mistaken algorithm given by C…
▽ More
Let $G=(V,E)$ be a graph without isolated vertices. A set $S\subseteq V$ is a paired-domination set if every vertex in $V-S$ is adjacent to a vertex in $S$ and the subgraph induced by $S$ contains a perfect matching. The paired-domination problem is to determine the paired-domination number, which is the minimum cardinality of a paired-dominating set. Motivated by a mistaken algorithm given by Chen, Kang and Ng [ Paired domination on interval and circular-arc graphs, Disc. Appl. Math. 155(2007),2077-2086], we present two linear time algorithms to find a minimum cardinality paired-dominating set in block and interval graphs. In addition, we prove that paired-domination problem is {\em NP}-complete for bipartite graphs, chordal graphs, even split graphs.
△ Less
Submitted 19 February, 2008;
originally announced February 2008.
