-
Algebraic Curve Interpolation for Intervals via Symbolic-Numeric Computation
Authors:
Lydia Dehbi,
Zhengfeng Yang,
Chao Peng,
Yaochen Xu,
Zhenbing Zeng
Abstract:
Algebraic curve interpolation is described by specifying the location of N points in the plane and constructing an algebraic curve of a function f that should pass through them. In this paper, we propose a novel approach to construct the algebraic curve that interpolates a set of data (points or neighborhoods). This approach aims to search the polynomial with the smallest degree interpolating the…
▽ More
Algebraic curve interpolation is described by specifying the location of N points in the plane and constructing an algebraic curve of a function f that should pass through them. In this paper, we propose a novel approach to construct the algebraic curve that interpolates a set of data (points or neighborhoods). This approach aims to search the polynomial with the smallest degree interpolating the given data. Moreover, the paper also presents an efficient method to reconstruct the algebraic curve of integer coefficients with the smallest degree and the least monomials that interpolates the provided data. The problems are converted into optimization problems and are solved via Lagrange multipliers methods and symbolic computation. Various examples are presented to illustrate the proposed approaches.
△ Less
Submitted 19 May, 2024;
originally announced July 2024.
-
Causal Inference with High-dimensional Discrete Covariates
Authors:
Zhenghao Zeng,
Sivaraman Balakrishnan,
Yanjun Han,
Edward H. Kennedy
Abstract:
When estimating causal effects from observational studies, researchers often need to adjust for many covariates to deconfound the non-causal relationship between exposure and outcome, among which many covariates are discrete. The behavior of commonly used estimators in the presence of many discrete covariates is not well understood since their properties are often analyzed under structural assumpt…
▽ More
When estimating causal effects from observational studies, researchers often need to adjust for many covariates to deconfound the non-causal relationship between exposure and outcome, among which many covariates are discrete. The behavior of commonly used estimators in the presence of many discrete covariates is not well understood since their properties are often analyzed under structural assumptions including sparsity and smoothness, which do not apply in discrete settings. In this work, we study the estimation of causal effects in a model where the covariates required for confounding adjustment are discrete but high-dimensional, meaning the number of categories $d$ is comparable with or even larger than sample size $n$. Specifically, we show the mean squared error of commonly used regression, weighting and doubly robust estimators is bounded by $\frac{d^2}{n^2}+\frac{1}{n}$. We then prove the minimax lower bound for the average treatment effect is of order $\frac{d^2}{n^2 \log^2 n}+\frac{1}{n}$, which characterizes the fundamental difficulty of causal effect estimation in the high-dimensional discrete setting, and shows the estimators mentioned above are rate-optimal up to log-factors. We further consider additional structures that can be exploited, namely effect homogeneity and prior knowledge of the covariate distribution, and propose new estimators that enjoy faster convergence rates of order $\frac{d}{n^2} + \frac{1}{n}$, which achieve consistency in a broader regime. The results are illustrated empirically via simulation studies.
△ Less
Submitted 5 May, 2024; v1 submitted 30 April, 2024;
originally announced May 2024.
-
Weak Collocation Regression for Inferring Stochastic Dynamics with Lévy Noise
Authors:
Liya Guo,
Liwei Lu,
Zhijun Zeng,
Pipi Hu,
Yi Zhu
Abstract:
With the rapid increase of observational, experimental and simulated data for stochastic systems, tremendous efforts have been devoted to identifying governing laws underlying the evolution of these systems. Despite the broad applications of non-Gaussian fluctuations in numerous physical phenomena, the data-driven approaches to extracting stochastic dynamics with Lévy noise are relatively few. In…
▽ More
With the rapid increase of observational, experimental and simulated data for stochastic systems, tremendous efforts have been devoted to identifying governing laws underlying the evolution of these systems. Despite the broad applications of non-Gaussian fluctuations in numerous physical phenomena, the data-driven approaches to extracting stochastic dynamics with Lévy noise are relatively few. In this work, we propose a Weak Collocation Regression (WCR) to explicitly reveal unknown stochastic dynamical systems, i.e., the Stochastic Differential Equation (SDE) with both $α$-stable Lévy noise and Gaussian noise, from discrete aggregate data. This method utilizes the evolution equation of the probability distribution function, i.e., the Fokker-Planck (FP) equation. With the weak form of the FP equation, the WCR constructs a linear system of unknown parameters where all integrals are evaluated by Monte Carlo method with the observations. Then, the unknown parameters are obtained by a sparse linear regression. For a SDE with Lévy noise, the corresponding FP equation is a partial integro-differential equation (PIDE), which contains nonlocal terms, and is difficult to deal with. The weak form can avoid complicated multiple integrals. Our approach can simultaneously distinguish mixed noise types, even in multi-dimensional problems. Numerical experiments demonstrate that our method is accurate and computationally efficient.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
Reconstruction of dynamical systems from data without time labels
Authors:
Zhijun Zeng,
Pipi Hu,
Chenglong Bao,
Yi Zhu,
Zuoqiang Shi
Abstract:
In this paper, we study the method to reconstruct dynamical systems from data without time labels. Data without time labels appear in many applications, such as molecular dynamics, single-cell RNA sequencing etc. Reconstruction of dynamical system from time sequence data has been studied extensively. However, these methods do not apply if time labels are unknown. Without time labels, sequence data…
▽ More
In this paper, we study the method to reconstruct dynamical systems from data without time labels. Data without time labels appear in many applications, such as molecular dynamics, single-cell RNA sequencing etc. Reconstruction of dynamical system from time sequence data has been studied extensively. However, these methods do not apply if time labels are unknown. Without time labels, sequence data becomes distribution data. Based on this observation, we propose to treat the data as samples from a probability distribution and try to reconstruct the underlying dynamical system by minimizing the distribution loss, sliced Wasserstein distance more specifically. Extensive experiment results demonstrate the effectiveness of the proposed method.
△ Less
Submitted 8 April, 2024; v1 submitted 6 December, 2023;
originally announced December 2023.
-
Bounded, compact and Schatten class Hankel operators on Fock-type spaces
Authors:
Zhicheng Zeng,
Xiaofeng Wang,
Zhangjian Hu
Abstract:
In this paper, we consider Hankel operators, with locally integrable symbols, densely defined on a family of Fock-type spaces whose weights are $C^3$-logarithmic growth functions with mild smoothness conditions. It is shown that a Hankel operator is bounded on such a Fock space if and only if its symbol function has bounded distance to analytic functions BDA which is initiated by Luecking(J. Funct…
▽ More
In this paper, we consider Hankel operators, with locally integrable symbols, densely defined on a family of Fock-type spaces whose weights are $C^3$-logarithmic growth functions with mild smoothness conditions. It is shown that a Hankel operator is bounded on such a Fock space if and only if its symbol function has bounded distance to analytic functions BDA which is initiated by Luecking(J. Funct. Anal. 110:247-271, 1992). We also characterize the compactness and Schatten class membership of Hankel operators. Besides, we give characterizations of the Schatten class membership of Toeplitz operators with positive measure symbols for the small exponent $0<p<1$. Our proofs depend strongly on the technique of Hömander's $L^2$ estimates for the $\overline{\partial}$ operator and the decomposition theory of BDA spaces as well as integral estimates involving the reproducing kernel.
△ Less
Submitted 26 November, 2023;
originally announced November 2023.
-
$L^{\vec{p}}-L^{\vec{q}}$ Boundedness of Multiparameter Forelli-Rudin Type Operators on the Product of Unit Balls of $\mathbb{C}^n$
Authors:
Long Huang,
Xiaofeng Wang,
Zhicheng Zeng
Abstract:
In this work, we provide a complete characterization of the boundedness of two classes of multiparameter Forelli-Rudin type operators from one mixed-norm Lebesgue space $L^{\vec p}$ to another space $L^{\vec q}$, when $1\leq \vec{p}\leq \vec q<\infty$, equipped with possibly different weights. Using these characterizations, we establish the necessary and sufficient conditions for both…
▽ More
In this work, we provide a complete characterization of the boundedness of two classes of multiparameter Forelli-Rudin type operators from one mixed-norm Lebesgue space $L^{\vec p}$ to another space $L^{\vec q}$, when $1\leq \vec{p}\leq \vec q<\infty$, equipped with possibly different weights. Using these characterizations, we establish the necessary and sufficient conditions for both $L^{\vec p}-L^{\vec q}$ boundedness of the weighted multiparameter Berezin transform and $L^{\vec p}-A^{\vec q}$ boundedness of the weighted multiparameter Bergman projection, where $A^{\vec q}$ denotes the mixed-norm Bergman space. Our approach presents several novelties. Firstly, we conduct refined integral estimates of holomorphic functions on the unit ball in $\mathbb{C}^n$. Secondly, we adapt the classical Schur's test to different weighted mixed-norm Lebesgue spaces. These improvements are crucial in our proofs and allow us to establish the desired characterization and sharp conditions.
△ Less
Submitted 7 February, 2024; v1 submitted 10 April, 2023;
originally announced April 2023.
-
Computing multiple roots of inexact polynomials
Authors:
Zhonggang Zeng
Abstract:
We present a combination of two algorithms that accurately calculate multiple roots of general polynomials. Algorithm I transforms the singular root-finding into a regular nonlinear least squares problem on a pejorative manifold, and calculates multiple roots simultaneously from a given multiplicity structure and initial root approximations. To fulfill the input requirement of Algorithm I, we deve…
▽ More
We present a combination of two algorithms that accurately calculate multiple roots of general polynomials. Algorithm I transforms the singular root-finding into a regular nonlinear least squares problem on a pejorative manifold, and calculates multiple roots simultaneously from a given multiplicity structure and initial root approximations. To fulfill the input requirement of Algorithm I, we develop a numerical GCD-finder containing a successive singular value updating and an iterative GCD refinement as the main engine of Algorithm II that calculates the multiplicity structure and the initial root approximation. While limitations of our algorithm exist in identifying the multiplicity structure in certain situations, the combined method calculates multiple roots with high accuracy and consistency in practice without using multiprecision arithmetic even if the coefficients are inexact. This is perhaps the first blackbox-type root-finder with such capabilities. To measure the sensitivity of the multiple roots, a structure-preserving condition number is proposed and error bounds are established. According to our computational experiments and error analysis, a polynomial being ill-conditioned in the conventional sense can be well conditioned with the multiplicity structure being preserved, and its multiple roots can be computed with high accuracy.
△ Less
Submitted 19 January, 2023;
originally announced January 2023.
-
Non-uniqueness for the hypo-viscous compressible Navier-Stokes equations
Authors:
Yachun Li,
Peng Qu,
Zirong Zeng,
Deng Zhang
Abstract:
We study the Cauchy problem for the isentropic hypo-viscous compressible Navier-Stokes equations (CNS) under general pressure laws in all dimensions $d\geq 2$. For all hypo-viscosities $(-Δ)^α$ with $α\in (0,1)$, we prove that there exist infinitely many weak solutions with the same initial data. This provides the first non-uniqueness result of weak solutions to viscous compressible fluid. Our pro…
▽ More
We study the Cauchy problem for the isentropic hypo-viscous compressible Navier-Stokes equations (CNS) under general pressure laws in all dimensions $d\geq 2$. For all hypo-viscosities $(-Δ)^α$ with $α\in (0,1)$, we prove that there exist infinitely many weak solutions with the same initial data. This provides the first non-uniqueness result of weak solutions to viscous compressible fluid. Our proof features new constructions of building blocks for both the density and momentum, which respect the compressible structure. It also applies to the compressible Euler equations and the hypo-viscous incompressible Navier-Stokes equations (INS). In particular, in view of the Ladyženskaja-Prodi-Serrin criteria, the obtained non-uniqueness of $L^2_tC_x$ weak solutions to the hypo-viscous INS is sharp, and reveals that $α=1$ is the sharp viscosity threshold for the well-posedness in $L^2_tC_x$. Furthermore, we prove that the Hölder continuous weak solutions to the compressible Euler equations may be obtained as a strong vanishing viscosity limit of a sequence of weak solutions to the hypo-viscous CNS.
△ Less
Submitted 12 December, 2022;
originally announced December 2022.
-
Optimal Trajectory Planning and Task Assignment for UAV-assisted Fog Computing
Authors:
Shuaijun Liu,
Jiaying Yin,
Zishu Zeng,
**g** Wu
Abstract:
Fog computing is an emerging distributed computing model for the Internet of Things (IoT). It extends computing and caching functions to the edge of wireless networks. Uncrewed Aerial Vehicles (UAVs) provide adequate support for fog computing. UAVs can not only act as a relay between mobile users and physically remote edge devices to avoid costly long-range wireless communications but also are equ…
▽ More
Fog computing is an emerging distributed computing model for the Internet of Things (IoT). It extends computing and caching functions to the edge of wireless networks. Uncrewed Aerial Vehicles (UAVs) provide adequate support for fog computing. UAVs can not only act as a relay between mobile users and physically remote edge devices to avoid costly long-range wireless communications but also are equipped with computing facilities that can take over specific tasks. In this paper, we aim to optimize the energy efficiency of a fog computing system assisted by a single UAV by planning the trajectories of the UAV and assigning computing tasks to different devices, including the UAV itself. We propose two algorithms based on the classical Ant Colony and Particle Swarm Optimization techniques and solve the problem by continuous convex approximation. Unlike most existing studies where the trajectories are assumed to be straight lines, we account for the effect of obstacles, such as buildings, and deliberately avoid them during the trajectory planning phase. Through extensive simulation experiments, we demonstrate that our proposed approach can achieve significantly better energy efficiency than existing benchmark algorithms.
△ Less
Submitted 31 October, 2022;
originally announced October 2022.
-
Weak Collocation Regression method: fast reveal hidden stochastic dynamics from high-dimensional aggregate data
Authors:
Liwei Lu,
Zhijun Zeng,
Yan Jiang,
Yi Zhu,
Pipi Hu
Abstract:
Revealing hidden dynamics from the stochastic data is a challenging problem as randomness takes part in the evolution of the data. The problem becomes exceedingly complex when the trajectories of the stochastic data are absent in many scenarios. Here we present an approach to effectively modeling the dynamics of the stochastic data without trajectories based on the weak form of the Fokker-Planck (…
▽ More
Revealing hidden dynamics from the stochastic data is a challenging problem as randomness takes part in the evolution of the data. The problem becomes exceedingly complex when the trajectories of the stochastic data are absent in many scenarios. Here we present an approach to effectively modeling the dynamics of the stochastic data without trajectories based on the weak form of the Fokker-Planck (FP) equation, which governs the evolution of the density function in the Brownian process. Taking the collocations of Gaussian functions as the test functions in the weak form of the FP equation, we transfer the derivatives to the Gaussian functions and thus approximate the weak form by the expectational sum of the data. With a dictionary representation of the unknown terms, a linear system is built and then solved by the regression, revealing the unknown dynamics of the data. Hence, we name the method with the Weak Collocation Regression (WCR) method for its three key components: weak form, collocation of Gaussian kernels, and regression. The numerical experiments show that our method is flexible and fast, which reveals the dynamics within seconds in multi-dimensional problems and can be easily extended to high-dimensional data such as 20 dimensions. WCR can also correctly identify the hidden dynamics of the complex tasks with variable-dependent diffusion and coupled drift, and the performance is robust, achieving high accuracy in the case with noise added.
△ Less
Submitted 1 February, 2024; v1 submitted 6 September, 2022;
originally announced September 2022.
-
Sharp non-uniqueness of weak solutions to 3D magnetohydrodynamic equations
Authors:
Yachun Li,
Zirong Zeng,
Deng Zhang
Abstract:
We prove the non-uniqueness of weak solutions to 3D hyper viscous and resistive MHD in the class $L^γ_tW^{s,p}_x$, where the exponents $(s,γ,p)$ lie in two supercritical regimes. The result reveals that the scaling-invariant Ladyženskaja-Prodi-Serrin (LPS) condition is the right criterion to detect non-uniqueness, even in the highly viscous and resistive regime beyond the Lions exponent. In partic…
▽ More
We prove the non-uniqueness of weak solutions to 3D hyper viscous and resistive MHD in the class $L^γ_tW^{s,p}_x$, where the exponents $(s,γ,p)$ lie in two supercritical regimes. The result reveals that the scaling-invariant Ladyženskaja-Prodi-Serrin (LPS) condition is the right criterion to detect non-uniqueness, even in the highly viscous and resistive regime beyond the Lions exponent. In particular, for the classical viscous and resistive MHD, the non-uniqueness is sharp near the endpoint $(0,2,\infty)$ of the LPS condition. Moreover, the constructed weak solutions admit the partial regularity outside a small fractal singular set in time with zero $\mathcal{H}^{η_*}$-Hausdorff dimension, where $η_*$ can be any given small positive constant. Furthermore, we prove the strong vanishing viscosity and resistivity result, which yields the failure of Taylor's conjecture along some subsequence of weak solutions to the hyper viscous and resistive MHD beyond the Lions exponent.
△ Less
Submitted 1 August, 2022;
originally announced August 2022.
-
Sharp non-uniqueness for the 3D hyperdissipative Navier-Stokes equations: above the Lions exponent
Authors:
Yachun Li,
Peng Qu,
Zirong Zeng,
Deng Zhang
Abstract:
We study the 3D hyperdissipative Navier-Stokes equations on the torus, where the viscosity exponent $α$ can be larger than the Lions exponent $5/4$. It is well-known that, due to Lions [55], for any $L^2$ divergence-free initial data, there exist unique smooth Leray-Hopf solutions when $α\geq 5/4$. We prove that even in this high dissipative regime, the uniqueness would fail in the supercritical s…
▽ More
We study the 3D hyperdissipative Navier-Stokes equations on the torus, where the viscosity exponent $α$ can be larger than the Lions exponent $5/4$. It is well-known that, due to Lions [55], for any $L^2$ divergence-free initial data, there exist unique smooth Leray-Hopf solutions when $α\geq 5/4$. We prove that even in this high dissipative regime, the uniqueness would fail in the supercritical spaces $L^γ_tW^{s,p}_x$, in view of the generalized Ladyženskaja-Prodi-Serrin condition. The non-uniqueness is proved in the strong sense and, in particular, yields the sharpness at two endpoints $(3/p+1-2α, \infty, p)$ and $(2α/γ+1-2α, γ, \infty)$. Moreover, the constructed solutions are allowed to coincide with the unique Leray-Hopf solutions near the initial time and, more delicately, admit the partial regularity outside a fractal set of singular times with zero Hausdorff $\mathcal{H}^{η_*}$ measure, where $η_*>0$ is any given small positive constant. These results also provide the sharp non-uniqueness in the supercritical Lebesgue and Besov spaces. Furthermore, the strong vanishing viscosity result is obtained for the hyperdissipative Navier-Stokes equations.
△ Less
Submitted 20 May, 2022;
originally announced May 2022.
-
A Sampling Theorem for Exact Identification of Continuous-time Nonlinear Dynamical Systems
Authors:
Zhexuan Zeng,
Zuogong Yue,
Alexandre Mauroy,
Jorge Goncalves,
Ye Yuan
Abstract:
Low sampling frequency challenges the exact identification of the continuous-time (CT) dynamical system from sampled data, even when its model is identifiable. The necessary and sufficient condition is proposed -- which is built from Koopman operator -- to the exact identification of the CT system from sampled data. The condition gives a Nyquist-Shannon-like critical frequency for exact identifica…
▽ More
Low sampling frequency challenges the exact identification of the continuous-time (CT) dynamical system from sampled data, even when its model is identifiable. The necessary and sufficient condition is proposed -- which is built from Koopman operator -- to the exact identification of the CT system from sampled data. The condition gives a Nyquist-Shannon-like critical frequency for exact identification of CT nonlinear dynamical systems with Koopman invariant subspaces: 1) it establishes a sufficient condition for a sampling frequency that permits a discretized sequence of samples to discover the underlying system and 2) it also establishes a necessary condition for a sampling frequency that leads to system aliasing that the underlying system is indistinguishable; and 3) the original CT signal does not have to be band-limited as required in the Nyquist-Shannon Theorem. The theoretical criterion has been demonstrated on a number of simulated examples, including linear systems, nonlinear systems with equilibria, and limit cycles.
△ Less
Submitted 29 April, 2022;
originally announced April 2022.
-
Riemann problem for constant flow with single-point heating source
Authors:
Changsheng Yu,
Chengliang Feng,
Zhiqiang Zeng,
Tiegang Liu
Abstract:
This work focuses on the Riemann problem of Euler equations with global constant initial conditions and a single-point heating source, which comes from the physical problem of heating one-dimensional inviscid compressible constant flow. In order to deal with the source of Dirac delta-function, we propose an analytical frame of double classic Riemann problems(CRPs) coupling, which treats the fluids…
▽ More
This work focuses on the Riemann problem of Euler equations with global constant initial conditions and a single-point heating source, which comes from the physical problem of heating one-dimensional inviscid compressible constant flow. In order to deal with the source of Dirac delta-function, we propose an analytical frame of double classic Riemann problems(CRPs) coupling, which treats the fluids on both sides of the heating point as two separate Riemann problems and then couples them. Under the double CRPs frame, the solution is self-similar, and only three types of solution are found. The theoretical analysis is also supported by the numerical simulation. Furthermore, the uniqueness of the Riemann solution is established with some restrictions on the Mach number of the initial condition.
△ Less
Submitted 7 March, 2022;
originally announced March 2022.
-
Physics-informed ConvNet: Learning Physical Field from a Shallow Neural Network
Authors:
Pengpeng Shi,
Zhi Zeng,
Tianshou Liang
Abstract:
Big-data-based artificial intelligence (AI) supports profound evolution in almost all of science and technology. However, modeling and forecasting multi-physical systems remain a challenge due to unavoidable data scarcity and noise. Improving the generalization ability of neural networks by "teaching" domain knowledge and develo** a new generation of models combined with the physical laws have b…
▽ More
Big-data-based artificial intelligence (AI) supports profound evolution in almost all of science and technology. However, modeling and forecasting multi-physical systems remain a challenge due to unavoidable data scarcity and noise. Improving the generalization ability of neural networks by "teaching" domain knowledge and develo** a new generation of models combined with the physical laws have become promising areas of machine learning research. Different from "deep" fully-connected neural networks embedded with physical information (PINN), a novel shallow framework named physics-informed convolutional network (PICN) is recommended from a CNN perspective, in which the physical field is generated by a deconvolution layer and a single convolution layer. The difference fields forming the physical operator are constructed using the pre-trained shallow convolution layer. An efficient linear interpolation network calculates the loss function involving boundary conditions and the physical constraints in irregular geometry domains. The effectiveness of the current development is illustrated through some numerical cases involving the solving (and estimation) of nonlinear physical operator equations and recovering physical information from noisy observations. Its potential advantage in approximating physical fields with multi-frequency components indicates that PICN may become an alternative neural network solver in physics-informed machine learning.
△ Less
Submitted 7 February, 2022; v1 submitted 26 January, 2022;
originally announced January 2022.
-
A Boundary Value Problem for a Class of Anisotropic Stochastic Degenerate Parabolic-Hyperbolic Equations
Authors:
Hermano Frid,
Yachun Li,
Daniel Marroquin,
João F. C. Nariyoshi,
Zirong Zeng
Abstract:
We establish the well-posedness of an initial-boundary value problem of mixed type for a stochastic nonlinear parabolic-hyperbolic equation on a space domain $\cO=\cO'\X\cO''$ where a Neumann boundary condition is imposed on $\po\cO'\X\cO"$, the hyperbolic boundary, and a Dirichlet condition is imposed on $\cO'\X\po\cO"$, the parabolic boundary. Among other points to be highlighted in our analysis…
▽ More
We establish the well-posedness of an initial-boundary value problem of mixed type for a stochastic nonlinear parabolic-hyperbolic equation on a space domain $\cO=\cO'\X\cO''$ where a Neumann boundary condition is imposed on $\po\cO'\X\cO"$, the hyperbolic boundary, and a Dirichlet condition is imposed on $\cO'\X\po\cO"$, the parabolic boundary. Among other points to be highlighted in our analysis of this problem we mention the new strong trace theorem for the special class of stochastic nonlinear parabolic-hyperbolic equations studied here, which is decisive for the uniqueness of the kinetic solution, and the new averaging lemma for the referred class of equations which is a vital part of the proof of the strong trace property. We also provide a detailed analysis of the approximate nondegenerate problems, which is also made here for the first time, as far as the authors know, whose solutions we prove to converge to the solution of our initial-boundary value problem.
△ Less
Submitted 24 January, 2022;
originally announced January 2022.
-
Construction of Strong-Uniform Fuzzy Partitions of Arbitrary Dimensions
Authors:
Zhi Zeng,
Ting Wang
Abstract:
Strong-uniform fuzzy partition is necessary for the accuracy of fuzzy partition-based histograms. Most previous research focused on constructing one-dimensional strong-uniform fuzzy partitions. While to the best of our knowledge, few have been reported for high-dimensional cases. In order to fill this theoretical vacancy, this paper proves the existence of high-dimensional strong-uniform fuzzy par…
▽ More
Strong-uniform fuzzy partition is necessary for the accuracy of fuzzy partition-based histograms. Most previous research focused on constructing one-dimensional strong-uniform fuzzy partitions. While to the best of our knowledge, few have been reported for high-dimensional cases. In order to fill this theoretical vacancy, this paper proves the existence of high-dimensional strong-uniform fuzzy partitions via proposing an analytic formula to construct strong-uniform fuzzy partitions of arbitrary dimensions.
△ Less
Submitted 13 January, 2022;
originally announced January 2022.
-
Non-uniqueness of weak solutions to 3D magnetohydrodynamic equations
Authors:
Yachun Li,
Zirong Zeng,
Deng Zhang
Abstract:
We prove the non-uniqueness of weak solutions to 3D magnetohydrodynamic (MHD for short) equations. The constructed weak solutions do not conserve the magnetic helicity and can be close to any given smooth, divergence-free and mean-free velocity and magnetic fields. Furthermore, we prove that the weak solutions constructed by Beekie-Buckmaster-Vicol [2] for the ideal MHD can be obtained as a strong…
▽ More
We prove the non-uniqueness of weak solutions to 3D magnetohydrodynamic (MHD for short) equations. The constructed weak solutions do not conserve the magnetic helicity and can be close to any given smooth, divergence-free and mean-free velocity and magnetic fields. Furthermore, we prove that the weak solutions constructed by Beekie-Buckmaster-Vicol [2] for the ideal MHD can be obtained as a strong vanishing viscosity and resistivity limit of a sequence of weak solutions to MHD equations. This shows that, in contrast to the weak ideal limits, Taylor's conjecture does not hold along the vanishing viscosity and resistivity limits. Unlike in the context of the NSE [13] and the ideal MHD [2], new types of velocity and magnetic flows, featuring both the refined spatial and temporal intermittency, are constructed to respect the geometry of MHD and to control the strong viscosity and resistivity. Compatible algebraic structure is derived in the convex integration scheme. More interestingly, the new intermittent flows indeed enable us to prove the aforementioned results for the hyper-viscous and hyper-resistive MHD equations up to the sharp exponent $5/4$, which coincides exactly with the Lions exponent for 3D hyper-viscous NSE.
△ Less
Submitted 15 February, 2022; v1 submitted 20 December, 2021;
originally announced December 2021.
-
Nontriviality of Riesz--Morrey Spaces
Authors:
Zongze Zeng,
Der-Chen Chang,
Tao,
Dachun Yang
Abstract:
In this article, the authors completely answer an open question, presented in [Banach J. Math. Anal. 15 (2021), no. 1, 20], via showing that the Riesz--Morrey space is truly a new space larger than a particular Lebesgue space with critical index. Indeed, this Lebesgue space is just the real interpolation space of the Riesz--Morrey space for suitable indices. Moreover, the authors further show the…
▽ More
In this article, the authors completely answer an open question, presented in [Banach J. Math. Anal. 15 (2021), no. 1, 20], via showing that the Riesz--Morrey space is truly a new space larger than a particular Lebesgue space with critical index. Indeed, this Lebesgue space is just the real interpolation space of the Riesz--Morrey space for suitable indices. Moreover, the authors further show the aforementioned inclusion is also proper, namely, this embedding is sharp in some sense, via constructing two nontrivial spare functions, respectively, on $\mathbb{R}^n$ and any given cube $Q_0$ of $\mathbb{R}^n$ with finite side length. The latter constructed function is inspired by the striking function constructed by Dafni et al. [J. Funct. Anal. 275 (2018), 577--603]. All the proofs of these results strongly depend on some exquisite geometrical analysis on cubes of $\mathbb{R}^n$. As an application, the relationship between Riesz--Morrey spaces and Lebesgue spaces is completely clarified on all indices.
△ Less
Submitted 13 May, 2021; v1 submitted 20 April, 2021;
originally announced April 2021.
-
Multiple zeros of nonlinear systems
Authors:
Barry H. Dayton,
Tien-Yien Li,
Zhonggang Zeng
Abstract:
As an attempt to bridge between numerical analysis and algebraic geometry, this paper formulates the multiplicity for the general nonlinear system at an isolated zero, presents an algorithm for computing the multiplicity structure, proposes a depth-deflation method for accurate computation of multiple zeros, and introduces the basic algebraic theory of the multiplicity. Furthermore, this paper ela…
▽ More
As an attempt to bridge between numerical analysis and algebraic geometry, this paper formulates the multiplicity for the general nonlinear system at an isolated zero, presents an algorithm for computing the multiplicity structure, proposes a depth-deflation method for accurate computation of multiple zeros, and introduces the basic algebraic theory of the multiplicity. Furthermore, this paper elaborates and proves some fundamental properties of the multiplicity, including local finiteness, consistency, perturbation invariance, and depth-deflatability. As a justification of this formulation, the multiplicity is proved to be consistent with the multiplicity defined in algebraic geometry for the special case of polynomial systems. The proposed algorithms can accurately compute the multiplicity and the multiple zeros using floating point arithmetic even if the nonlinear system is perturbed.
△ Less
Submitted 9 March, 2021;
originally announced March 2021.
-
The numerical factorization of polynomials
Authors:
Wenyuan Wu,
Zhonggang Zeng
Abstract:
Polynomial factorization in conventional sense is an ill-posed problem due to its discontinuity with respect to coefficient perturbations, making it a challenge for numerical computation using empirical data. As a regularization, this paper formulates the notion of numerical factorization based on the geometry of polynomial spaces and the stratification of factorization manifolds. Furthermore, thi…
▽ More
Polynomial factorization in conventional sense is an ill-posed problem due to its discontinuity with respect to coefficient perturbations, making it a challenge for numerical computation using empirical data. As a regularization, this paper formulates the notion of numerical factorization based on the geometry of polynomial spaces and the stratification of factorization manifolds. Furthermore, this paper establishes the existence, uniqueness, Lipschitz continuity, condition number, and convergence of the numerical factorization to the underlying exact factorization, leading to a robust and efficient algorithm with a MATLAB implementation capable of accurate polynomial factorizations using floating point arithmetic even if the coefficients are perturbed.
△ Less
Submitted 8 March, 2021;
originally announced March 2021.
-
The numerical greatest common divisor of univariate polynomials
Authors:
Zhonggang Zeng
Abstract:
This paper presents a regularization theory for numerical computation of polynomial greatest common divisors and a convergence analysis, along with a detailed description of a blackbox-type algorithm. The root of the ill-posedness in conventional GCD computation is identified by its geometry where polynomials form differentiable manifolds entangled in a stratification structure. With a proper regu…
▽ More
This paper presents a regularization theory for numerical computation of polynomial greatest common divisors and a convergence analysis, along with a detailed description of a blackbox-type algorithm. The root of the ill-posedness in conventional GCD computation is identified by its geometry where polynomials form differentiable manifolds entangled in a stratification structure. With a proper regularization, the numerical GCD is proved to be strongly well-posed. Most importantly, the numerical GCD solves the problem of finding the GCD accurately using floating point arithmetic even if the data are perturbed. A sensitivity measurement, error bounds at each computing stage, and the overall convergence are established rigorously. The computing results of selected test examples show that the algorithm and software appear to be robust and accurate.
△ Less
Submitted 6 March, 2021;
originally announced March 2021.
-
Sensitivity and computation of a defective eigenvalue
Authors:
Zhonggang Zeng
Abstract:
A defective eigenvalue is well documented to be hypersensitive to data perturbations and round-off? errors, making it a formidable challenge in numerical computation particularly when the matrix is known through approximate data. This paper establishes a finitely bounded sensitivity of a defective eigenvalue with respect to perturbations that preserve the geometric multiplicity and the smallest Jo…
▽ More
A defective eigenvalue is well documented to be hypersensitive to data perturbations and round-off? errors, making it a formidable challenge in numerical computation particularly when the matrix is known through approximate data. This paper establishes a finitely bounded sensitivity of a defective eigenvalue with respect to perturbations that preserve the geometric multiplicity and the smallest Jordan block size. Based on this perturbation theory, numerical computation of a defective eigenvalue is regularized as a well-posed least squares problem so that it can be accurately carried out using floating point arithmetic even if the matrix is perturbed.
△ Less
Submitted 4 March, 2021;
originally announced March 2021.
-
A numerical method for computing the Jordan Canonical Form
Authors:
Zhonggang Zeng,
Tien-Yien Li
Abstract:
The Jordan Canonical Form of a matrix is highly sensitive to perturbations, and its numerical computation remains a formidable challenge. This paper presents a regularization theory that establishes a well-posed least squares problem of finding the nearest staircase decomposition in the matrix bundle of the highest codimension. A two-staged algorithm is developed for computing the numerical Jordan…
▽ More
The Jordan Canonical Form of a matrix is highly sensitive to perturbations, and its numerical computation remains a formidable challenge. This paper presents a regularization theory that establishes a well-posed least squares problem of finding the nearest staircase decomposition in the matrix bundle of the highest codimension. A two-staged algorithm is developed for computing the numerical Jordan Canonical Form. At the first stage, the method calculates the Jordan structure of the matrix and an initial approximation to the multiple eigenvalues. The staircase decomposition is then constructed by an iterative algorithm at the second stage. As a result, the numerical Jordan Canonical decomposition along with multiple eigenvalues can be computed with high accuracy even if the underlying matrix is perturbed.
△ Less
Submitted 2 March, 2021;
originally announced March 2021.
-
On the sensitivity of singular and ill-Conditioned linear systems
Authors:
Zhonggang Zeng
Abstract:
Solving a singular linear system for an individual vector solution is an ill-posed problem with a condition number infinity. From an alternative perspective, however, the general solution of a singular system is of a bounded sensitivity as a unique element in an affine Grassmannian. If a singular linear system is given through empirical data that are sufficiently accurate with a tight error bound,…
▽ More
Solving a singular linear system for an individual vector solution is an ill-posed problem with a condition number infinity. From an alternative perspective, however, the general solution of a singular system is of a bounded sensitivity as a unique element in an affine Grassmannian. If a singular linear system is given through empirical data that are sufficiently accurate with a tight error bound, a properly formulated general numerical solution uniquely exists in the same affine Grassmannian, enjoys Lipschitz continuity and approximates the underlying exact solution with an accuracy in the same order as the data. Furthermore, any backward accurate numerical solution vector is an accurate approximation to one of the solutions of the underlying singular system.
△ Less
Submitted 18 February, 2021;
originally announced February 2021.
-
Singular algebraic equations with empirical data
Authors:
Zhonggang Zeng
Abstract:
Singular equations with rank-deficient Jacobians arise frequently in algebraic computing applications. As shown in case studies in this paper, direct and intuitive modeling of algebraic problems often results in nonisolated singular solutions. The challenges become formidable when the problems need to be solved from empirical data of limited accuracy. A newly discovered low-rank Newton's iteration…
▽ More
Singular equations with rank-deficient Jacobians arise frequently in algebraic computing applications. As shown in case studies in this paper, direct and intuitive modeling of algebraic problems often results in nonisolated singular solutions. The challenges become formidable when the problems need to be solved from empirical data of limited accuracy. A newly discovered low-rank Newton's iteration emerges as an effective regularization mechanism that enables solving singular equations accurately with an error bound in the same order as the data error. This paper elaborates applications of new methods on solving singular algebraic equations such as singular linear systems, polynomial GCD and factorizations as well as matrix defective eigenvalue problems.
△ Less
Submitted 18 February, 2021;
originally announced February 2021.
-
Geometric modeling and regularization of algebraic problems
Authors:
Zhonggang Zeng
Abstract:
Discontinuity with respect to data perturbations is common in algebraic computation where solutions are often highly sensitive. Such problems can be modeled as solving systems of equations at given data parameters. By appending auxiliary equations, the models can be formulated to satisfy four easily verifiable conditions so that the data form complex analytic manifolds on which the solutions maint…
▽ More
Discontinuity with respect to data perturbations is common in algebraic computation where solutions are often highly sensitive. Such problems can be modeled as solving systems of equations at given data parameters. By appending auxiliary equations, the models can be formulated to satisfy four easily verifiable conditions so that the data form complex analytic manifolds on which the solutions maintain their structures and the Lipschitz continuity. When such a problem is given with empirical data, solving the system becomes a least squares problem whose solution uniquely exists and enjoys Lipschitz continuity as long as the data point is in a tubular neighborhood of the manifold. As a result, the singular problem is regularized as a well-posed computational problem.
△ Less
Submitted 16 February, 2021;
originally announced February 2021.
-
A Newton's Iteration Converges Quadratically to Nonisolated Solutions Too
Authors:
Zhonggang Zeng
Abstract:
The textbook Newton's iteration is practically inapplicable on solutions of nonlinear systems with singular Jacobians. By a simple modification, a novel extension of Newton's iteration regains its local quadratic convergence toward nonisolated solutions that are semiregular as properly defined regardless of whether the system is square, underdetermined or overdetermined while Jacobians can be rank…
▽ More
The textbook Newton's iteration is practically inapplicable on solutions of nonlinear systems with singular Jacobians. By a simple modification, a novel extension of Newton's iteration regains its local quadratic convergence toward nonisolated solutions that are semiregular as properly defined regardless of whether the system is square, underdetermined or overdetermined while Jacobians can be rank-deficient. Furthermore, the iteration serves as a regularization mechanism for computing singular solutions from empirical data. When a system is perturbed, its nonisolated solutions can be altered substantially or even disappear. The iteration still locally converges to a stationary point that approximates a singular solution of the underlying system with an error bound in the same order of the data accuracy. Geometrically, the iteration approximately approaches the nearest point on the solution manifold. The method simplifies the modeling of nonlinear systems by permitting nonisolated solutions and enables a wide range of applications in algebraic computation.
△ Less
Submitted 18 April, 2024; v1 submitted 22 January, 2021;
originally announced January 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.
-
On the Phase Transition of Wilk's Phenomenon
Authors:
Yinqiu He,
Bo Meng,
Zhenghao Zeng,
Gongjun Xu
Abstract:
Wilk's theorem, which offers universal chi-squared approximations for likelihood ratio tests, is widely used in many scientific hypothesis testing problems. For modern datasets with increasing dimension, researchers have found that the conventional Wilk's phenomenon of the likelihood ratio test statistic often fails. Although new approximations have been proposed in high dimensional settings, ther…
▽ More
Wilk's theorem, which offers universal chi-squared approximations for likelihood ratio tests, is widely used in many scientific hypothesis testing problems. For modern datasets with increasing dimension, researchers have found that the conventional Wilk's phenomenon of the likelihood ratio test statistic often fails. Although new approximations have been proposed in high dimensional settings, there still lacks a clear statistical guideline regarding how to choose between the conventional and newly proposed approximations, especially for moderate-dimensional data. To address this issue, we develop the necessary and sufficient phase transition conditions for Wilk's phenomenon under popular tests on multivariate mean and covariance structures. Moreover, we provide an in-depth analysis of the accuracy of chi-squared approximations by deriving their asymptotic biases. These results may provide helpful insights into the use of chi-squared approximations in scientific practices.
△ Less
Submitted 13 August, 2020;
originally announced August 2020.
-
On the connection problem for the second Painlevé equation with large initial data
Authors:
Wen-Gao Long,
Zhao-Yun Zeng
Abstract:
We consider two special cases of the connection problem for the second Painlevé equation (PII) using the method of uniform asymptotics proposed by Bassom et al.. We give a classification of the real solutions of PII on the negative (positive) real axis with respect to their initial data. By product, a rigorous proof of a property associate with the nonlinear eigenvalue problem of PII on the real a…
▽ More
We consider two special cases of the connection problem for the second Painlevé equation (PII) using the method of uniform asymptotics proposed by Bassom et al.. We give a classification of the real solutions of PII on the negative (positive) real axis with respect to their initial data. By product, a rigorous proof of a property associate with the nonlinear eigenvalue problem of PII on the real axis, recently revealed by Bender and Komijani, is given by deriving the asymptotic behavior of the Stokes multipliers.
△ Less
Submitted 11 March, 2021; v1 submitted 7 May, 2020;
originally announced May 2020.
-
An Efficient Gradient Projection Method for Structural Topology Optimization
Authors:
Zhi Zeng,
Fulei Ma
Abstract:
This paper presents an efficient gradient projection-based method for structural topological optimization problems characterized by a nonlinear objective function which is minimized over a feasible region defined by bilateral bounds and a single linear equality constraint. The specialty of the constraints type, as well as heuristic engineering experiences are exploited to improve the scaling schem…
▽ More
This paper presents an efficient gradient projection-based method for structural topological optimization problems characterized by a nonlinear objective function which is minimized over a feasible region defined by bilateral bounds and a single linear equality constraint. The specialty of the constraints type, as well as heuristic engineering experiences are exploited to improve the scaling scheme, projection, and searching step. In detail, gradient clip** and a modified projection of searching direction under certain condition are utilized to facilitate the efficiency of the proposed method. Besides, an analytical solution is proposed to approximate this projection with negligible computation and memory costs. Furthermore, the calculation of searching steps is largely simplified. Benchmark problems, including the MBB, the force inverter mechanism, and the 3D cantilever beam are used to validate the effectiveness of the method. The proposed method is implemented in MATLAB which is open-sourced for educational usage.
△ Less
Submitted 14 June, 2020; v1 submitted 7 January, 2020;
originally announced January 2020.
-
The Strong Trace Property and the Neumann Problem for Stochastic Conservation Laws
Authors:
Hermano Frid,
Yachun Li,
Daniel Marroquin,
João F. C. Nariyoshi,
Zirong Zeng
Abstract:
We establish the well-posedness of the Neumann problem for stochastic conservation laws with multiplicative noise. As a major step for establishing the uniqueness of the kinetic solution to the referred problem we establish the new strong trace property for stochastic conservation laws. Existence of kinetic solutions is proved through the vanishing viscosity method and the detailed analysis of the…
▽ More
We establish the well-posedness of the Neumann problem for stochastic conservation laws with multiplicative noise. As a major step for establishing the uniqueness of the kinetic solution to the referred problem we establish the new strong trace property for stochastic conservation laws. Existence of kinetic solutions is proved through the vanishing viscosity method and the detailed analysis of the corresponding stochastic parabolic problem is also made here for the first time, as far as the authors know.
△ Less
Submitted 29 July, 2020; v1 submitted 10 October, 2019;
originally announced October 2019.
-
Decay Rate of n-Linear Oscillatory Integral Operators in $\mathbb{R}^2$
Authors:
Aleksandra Niepla,
Kevin O'Neill,
Zhen Zeng
Abstract:
In this paper, we prove $L^p$ decay estimates for multilinear oscillatory integrals in $\mathbb{R}^2$, establishing sharpness through a scaling argument. The result in this paper is a generalization of the previous work by Gressman and Xiao (2016).
In this paper, we prove $L^p$ decay estimates for multilinear oscillatory integrals in $\mathbb{R}^2$, establishing sharpness through a scaling argument. The result in this paper is a generalization of the previous work by Gressman and Xiao (2016).
△ Less
Submitted 13 November, 2018;
originally announced November 2018.
-
Estimating Oscillatory Integrals of Convolution Type in $\mathbb{R}^d$
Authors:
Aleksandra Niepla,
Kevin O'Neill,
Zhen Zeng
Abstract:
In this paper, we prove an $L^2-L^2-L^2$ decay estimate for a trilinear oscillatory integral of convolution type in $\mathbb{R}^d,$ which recovers the earlier result of Li (2013) when $d=1.$ We discuss the sharpness of our result in the $d=2$ case. Our main hypothesis has close connections to the property of simple nondegeneracy studied by Christ, Li, Tao and Thiele (2005).
In this paper, we prove an $L^2-L^2-L^2$ decay estimate for a trilinear oscillatory integral of convolution type in $\mathbb{R}^d,$ which recovers the earlier result of Li (2013) when $d=1.$ We discuss the sharpness of our result in the $d=2$ case. Our main hypothesis has close connections to the property of simple nondegeneracy studied by Christ, Li, Tao and Thiele (2005).
△ Less
Submitted 22 July, 2021; v1 submitted 12 November, 2018;
originally announced November 2018.
-
Optimizing Pinning Control of Complex Dynamical Networks Based on Spectral Properties of Grounded Laplacian Matrices
Authors:
Hui Liu,
Xuanhong Xu,
Jun-An Lu,
Guanrong Chen,
Zhigang Zeng
Abstract:
Pinning control of a complex network aims at forcing the states of all nodes to track an external signal by controlling a small number of nodes in the network. In this paper, an algebraic graph-theoretic condition is introduced to optimize pinning control. When individual node dynamics and coupling strength of the network are given, the effectiveness of pinning scheme can be measured by the smalle…
▽ More
Pinning control of a complex network aims at forcing the states of all nodes to track an external signal by controlling a small number of nodes in the network. In this paper, an algebraic graph-theoretic condition is introduced to optimize pinning control. When individual node dynamics and coupling strength of the network are given, the effectiveness of pinning scheme can be measured by the smallest eigenvalue of the grounded Laplacian matrix obtained by deleting the rows and columns corresponding to the pinned nodes from the Laplacian matrix of the network. The larger this smallest eigenvalue, the more effective the pinning scheme. Spectral properties of the smallest eigenvalue are analyzed using the network topology information, including the spectrum of the network Laplacian matrix, the minimal degree of uncontrolled nodes, the number of edges between the controlled node set and the uncontrolled node set, etc. The identified properties are shown effective for optimizing the pinning control strategy, as demonstrated by illustrative examples. Finally, for both scale-free and small-world networks, in order to maximize their corresponding smallest eigenvalues, it is better to pin the nodes with large degrees when the percentage of pinned nodes is relatively small, while it is better to pin nodes with small degrees when the percentage is relatively large. This surprising phenomenon can be explained by one of the theorems established.
△ Less
Submitted 9 August, 2019; v1 submitted 28 April, 2018;
originally announced April 2018.
-
On the connection problem for nonlinear differential equation
Authors:
Zhao-Yun Zeng,
Lin Hu
Abstract:
We consider the connection problem of the second nonlinear differential equation \begin{equation} \label{eq:1}
Φ''(x)=(Φ'^2(x)-1)\cotΦ(x)+ \frac{1}{x}(1-Φ'(x)) \end{equation} subject to the boundary condition $Φ(x)=x-ax^2+O(x^3)$ ($a\geq0$) as $x\to0$. In view of that equation (1) is equivalent to the fifth Painlevé (PV) equation after a Möbius transformation, we are able to study the connecti…
▽ More
We consider the connection problem of the second nonlinear differential equation \begin{equation} \label{eq:1}
Φ''(x)=(Φ'^2(x)-1)\cotΦ(x)+ \frac{1}{x}(1-Φ'(x)) \end{equation} subject to the boundary condition $Φ(x)=x-ax^2+O(x^3)$ ($a\geq0$) as $x\to0$. In view of that equation (1) is equivalent to the fifth Painlevé (PV) equation after a Möbius transformation, we are able to study the connection problem of equation (1) by investigating the corresponding connection problem of PV. Our research technique is based on the method of uniform asymptotics presented by Bassom el at. The monotonically solution on real axis of equation (1) is obtained, the explicit relation (connection formula) between the constants in the solution and the real number $a$ is also obtained. This connection formulas have been established earlier by Suleimanov via the isomonodromy deformation theory and the WKB method, and recently are applied for studying level spacing functions.
△ Less
Submitted 12 July, 2017;
originally announced July 2017.
-
Most Probable Phase Portraits of Stochastic Differential Equations and its Numerical Simulation
Authors:
Bing Yang,
Zhu Zeng,
Ling Wang
Abstract:
A practical and accessible introduction to most probable phase portraits is given. The reader is assumed to be familiar with stochastic differential equations and Euler-Maruyama method in numerical simulation. The article first introduce the method to obtain most probable phase portraits and then give its numerical simulation which is based on Euler-Maruyama method. All of these are given by examp…
▽ More
A practical and accessible introduction to most probable phase portraits is given. The reader is assumed to be familiar with stochastic differential equations and Euler-Maruyama method in numerical simulation. The article first introduce the method to obtain most probable phase portraits and then give its numerical simulation which is based on Euler-Maruyama method. All of these are given by examples and easy to understand.
△ Less
Submitted 17 March, 2017;
originally announced March 2017.
-
A note on the connection problem of some special Painlevé V functions
Authors:
Wen-Gao Long,
Zhao-Yun Zeng,
Jian-Rong Zhou
Abstract:
As a new application of the method of "uniform asymptotics" proposed by Bassom, Clarkson, Law and McLeod, we provide a simpler and more rigorous proof of the connection formulas of some special solutions of the fifth Painlevé equation, which have been established earlier by Andreev and Kitaev.
As a new application of the method of "uniform asymptotics" proposed by Bassom, Clarkson, Law and McLeod, we provide a simpler and more rigorous proof of the connection formulas of some special solutions of the fifth Painlevé equation, which have been established earlier by Andreev and Kitaev.
△ Less
Submitted 4 January, 2016;
originally announced January 2016.
-
Application of uniform asymptotics to the connection formulas of the fifth Painlevé equation
Authors:
Zhao-Yun Zeng,
Yu-Qiu Zhao
Abstract:
We apply the uniform asymptotics method proposed by Bassom, Clarkson, Law and McLeod to a special Painlevé V equation, and we provide a simpler and more rigorous proof of the connection formulas for a special solution of the equation, which have been established earlier by McCoy and Tang via the isomonodromy and WKB methods.
We apply the uniform asymptotics method proposed by Bassom, Clarkson, Law and McLeod to a special Painlevé V equation, and we provide a simpler and more rigorous proof of the connection formulas for a special solution of the equation, which have been established earlier by McCoy and Tang via the isomonodromy and WKB methods.
△ Less
Submitted 1 January, 2015;
originally announced January 2015.
-
Exact Safety Verification of Hybrid Systems Using Sums-Of-Squares Representation
Authors:
Wang Lin,
Min Wu,
Zhengfeng Yang,
Zhenbing Zeng
Abstract:
In this paper we discuss how to generate inductive invariants for safety verification of hybrid systems. A hybrid symbolic-numeric method is presented to compute inequality inductive invariants of the given systems. A numerical invariant of the given system can be obtained by solving a parameterized polynomial optimization problem via sum-of-squares (SOS) relaxation. And a method based on Gauss-Ne…
▽ More
In this paper we discuss how to generate inductive invariants for safety verification of hybrid systems. A hybrid symbolic-numeric method is presented to compute inequality inductive invariants of the given systems. A numerical invariant of the given system can be obtained by solving a parameterized polynomial optimization problem via sum-of-squares (SOS) relaxation. And a method based on Gauss-Newton refinement and rational vector recovery is deployed to obtain the invariants with rational coefficients, which exactly satisfy the conditions of invariants. Several examples are given to illustrate our algorithm.
△ Less
Submitted 11 December, 2011;
originally announced December 2011.
-
Vertices in all minimum paired-dominating sets of block graphs
Authors:
Lei Chen,
Changhong Lu,
Zhenbing Zeng
Abstract:
Let $G=(V,E)$ be a simple graph without isolated vertices. A set $S\subseteq V$ is a paired-dominating set if every vertex in $V-S$ has at least one neighbor in $S$ and the subgraph induced by $S$ contains a perfect matching. In this paper, we present a linear-time algorithm to determine whether a given vertex in a block graph is contained in all its minimum paired-dominating sets.
Let $G=(V,E)$ be a simple graph without isolated vertices. A set $S\subseteq V$ is a paired-dominating set if every vertex in $V-S$ has at least one neighbor in $S$ and the subgraph induced by $S$ contains a perfect matching. In this paper, we present a linear-time algorithm to determine whether a given vertex in a block graph is contained in all its minimum paired-dominating sets.
△ Less
Submitted 20 August, 2009;
originally announced August 2009.
-
A Class of Irreducible Modules for the Extended Affine Lie Algebra $\widetilde{\frak{gl}_l({\mathbb{C}_q})}$
Authors:
Ziting Zeng
Abstract:
We construct a class of modules for extended affine Lie algebra $\widetilde{\frak{gl}_l({\bc_q})}$ by using the free fields. A necessary and sufficient condition is given for those modules being irreducible.
We construct a class of modules for extended affine Lie algebra $\widetilde{\frak{gl}_l({\bc_q})}$ by using the free fields. A necessary and sufficient condition is given for those modules being irreducible.
△ Less
Submitted 6 April, 2009;
originally announced April 2009.
-
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.
-
Solution to the Generalized Champagne Problem on Simultaneous Stabilization of Linear Systems
Authors:
Qiang Guan,
Long Wang,
Bican Xia,
Lu Yang,
Wensheng Yu,
Zhenbing Zeng
Abstract:
The well-known "Generalized Champagne Problem" on simultaneous stabilization of linear systems is solved by using complex analysis \cite{A73,C78,G69,N52,R87} and Blondel's technique \cite{B94,BG93,BGMR94}. We give a complete answer to the open problem proposed by Patel et al. \cite{P99,PDV02}, which automatically includes the solution to the original "Champagne Problem" \cite{BG93,BGMR94,BSVW99,…
▽ More
The well-known "Generalized Champagne Problem" on simultaneous stabilization of linear systems is solved by using complex analysis \cite{A73,C78,G69,N52,R87} and Blondel's technique \cite{B94,BG93,BGMR94}. We give a complete answer to the open problem proposed by Patel et al. \cite{P99,PDV02}, which automatically includes the solution to the original "Champagne Problem" \cite{BG93,BGMR94,BSVW99,LKZ99,P99,PDV02}. Based on the recent development in automated inequality-type theorem proving \cite{Y98,Y99,YHX01,YX05,YX03}, a new stabilizing controller design method is established. Our numerical examples significantly improve the relevant results in the literature \cite{LKZ99,PDV02}.
△ Less
Submitted 18 July, 2006;
originally announced July 2006.
-
Unitary representations of the extended affine Lie algebra $\widetilde{\frak{gl}_{3}(\bc_q)}$
Authors:
Ziting Zeng
Abstract:
We present modules for the extended affine Lie algebra $\widetilde{\frak{gl}_{3}(\bc_q)}$ by using the idea of free fields. A necessary and sufficient condition for the modules being unitary is given.
We present modules for the extended affine Lie algebra $\widetilde{\frak{gl}_{3}(\bc_q)}$ by using the idea of free fields. A necessary and sufficient condition for the modules being unitary is given.
△ Less
Submitted 17 January, 2006;
originally announced January 2006.
-
Hermitian representations of the extended affine Lie algebra $\widetilde{\frak{gl}_{2}(\bc_q)}$
Authors:
Yun Gao,
Ziting Zeng
Abstract:
We use the idea of free fields to obtain highest weight representations for the extended affine Lie algebra $\widetilde{\frak{gl}_{2}(\bc_q)}$ coordinatized by the quantum torus $\bc_q$ and go on to construct a contravariant hermitian form. We further give a necessary and sufficient condition such that the contravariant hermitian form is positive definite.
We use the idea of free fields to obtain highest weight representations for the extended affine Lie algebra $\widetilde{\frak{gl}_{2}(\bc_q)}$ coordinatized by the quantum torus $\bc_q$ and go on to construct a contravariant hermitian form. We further give a necessary and sufficient condition such that the contravariant hermitian form is positive definite.
△ Less
Submitted 1 December, 2005;
originally announced December 2005.
-
On the equations defining curves in a polynomial algebra
Authors:
Ze Min Zeng
Abstract:
Let $A$ be a commutative Noetherian ring of dimension $n$ ($n \ge 3$). Let $I$ be a local complete intersection ideal in $A[T]$ of height $n$. Suppose $I/{I^2}$ is free ${A[T]}/I$-module of rank $n$ and $({A[T]}/I)$ is torsion in $K_0(A[T])$. It is proved in this paper that $I$ is a set theoretic complete intersection ideal in $A[T]$ if one of the following conditions holds: (1) $n$ $\ge 5$, odd…
▽ More
Let $A$ be a commutative Noetherian ring of dimension $n$ ($n \ge 3$). Let $I$ be a local complete intersection ideal in $A[T]$ of height $n$. Suppose $I/{I^2}$ is free ${A[T]}/I$-module of rank $n$ and $({A[T]}/I)$ is torsion in $K_0(A[T])$. It is proved in this paper that $I$ is a set theoretic complete intersection ideal in $A[T]$ if one of the following conditions holds: (1) $n$ $\ge 5$, odd; (2) $n$ is even, and $A$ contains the field of rational numbers; (3) $n = 3$, and $A$ contains the field of rational numbers.
△ Less
Submitted 16 August, 2005;
originally announced August 2005.
-
Set theoretic complete intersection for curves in a smooth affine algebra
Authors:
Ze Min Zeng
Abstract:
It is proved in this paper that a locally complete intersection curve in a smooth affine C-algebra with trival conormal bundle is a set theoretic complete intersection if its corresponding class in the Grothendieck Group is torsion.
It is proved in this paper that a locally complete intersection curve in a smooth affine C-algebra with trival conormal bundle is a set theoretic complete intersection if its corresponding class in the Grothendieck Group is torsion.
△ Less
Submitted 12 August, 2005;
originally announced August 2005.
